Can anyone give me a good program that I can play around with my proofs with?
any reccomendations?
Member since
