Web-based proof assistant

New to topics? Read the documentation here!

Top articles Latest articles New article in topic

Show body

Web-based proof assistant by

Ciro Santilli 34 Updated 2024-11-19 Created 1970-01-01

A more verbose description of this at: Section "Website front-end for a mathematical formal proof system".

Read the full article