4 ms·Nice to see that somebody implements the Peano axioms to do calculation and proofs.by moasda 6y agoNice to see that somebody implements the Peano axioms to do calculation and proofs.