Proof assistant

New to topics? Read the documentation here!

Top articles Latest articles New article in topic

Show body

Proof assistant by

Ciro Santilli 32 Updated 2024-09-19 Created 1970-01-01

Much of this section will be dumped at Section "Website front-end for a mathematical formal proof system" instead.

Read the full article