Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic) Posted by modalduality on Thursday November 16, 2017 @07:00PM from the show-hn dept. https://modalduality.org/tzimtsum/ ( no comments | 2 points | on HN )
There are no comments yet.