Robert Lang's origami page
Apparently origami has not only been axiomatized, but certain aspects of it are NP-complete, which I was really not expecting.
Apparently origami has not only been axiomatized, but certain aspects of it are NP-complete, which I was really not expecting.