Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic) #1 Post by modalduality » Fri, Nov 17, 2017, 12:00 AM UTC Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic)modalduality.org