M modalduality.org Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic) 2 points modalduality 9 years ago 0 comments
