Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic)https://modalduality.org/tzimtsum/ by modalduality • 9 years ago 2 0 9 years agoMOmodalduality.org