Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It's nice to see the axioms spelled out. I had only read about that Origami is more powerful than Euclid, but never had the details.


Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: