I have. I understand that it's partly a theorem prover. From what I understand, theorem provers can, in principle, prove (or try to prove, given limited time resources) any theorem in mathematics, no matter how abstract, since all of mathematics is...
I know this. My question was about why the menu options don't work.