computer math

the lean theorem prover is a pretty cool thing.