Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic)(modalduality.org)
modalduality.org
Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic)
https://modalduality.org/tzimtsum/
0 comments
—
https://modalduality.org/tzimtsum/
—