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