User Portlet
| Discussions |
|---|
| 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. |