from Hacker News

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

by modalduality on 11/17/17, 12:00 AM with 0 comments