Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic)

2 points by modalduality 7 years ago | 0 comments