Hacker News new | ask | show | jobs
Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic) (modalduality.org)
2 points by modalduality 3131 days ago