A Compiler for Origami Construction and Verification.

Tetsuo Ida

Browse the full SYNASC paper archive.