Maru Portal
  • Main page
  • Discover
  • Authorization
  • Account
  • My Projects
  • New Project
  • Project
    • Project
    • Expressions
    • Tasks
    • Proofs
    • Settings
    • Summary
Powered by GitBook
On this page

My Projects

PreviousAccountNextNew Project

Last updated 11 months ago

For authorized users, the My Projects page is available, which contains a list of user projects.

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.