can we use mathematica to prove theorems?? I am studying elementary number theory and I have a lot of theorems need to proof and some questions how mathematica can help?? thanks in advance
https://www.risc.jku.at/research/theorema/software/?page=Download
Thank you very much Frank Kampas
