Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic)modalduality.org2 points·modalduality··0 commentsOpen articleSaveView on HN