If you want to try it out and have never used a theorem prover, consider trying the Natural Number Game. https://www.ma.imperial.ac.uk/~buzzard/xena/natural_nu

If you want to try it out and have never used a theorem prover, consider trying the Natural Number Game. https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g...