8 ms·Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic)2 points by modalduality 9y ago