For authorized users, the My Projects page is available, which contains a list of user projects.
Last updated 10 months ago
Each project consists of , Tasks, Proofs, Settings, and Summary tabs.
Each project on this page is presented in a compact form and consists of the name, time of addition and the number of expressions that are included in it.