Proof assistant

ID: proof-assistant

Top articles Latest articles+ New article in topic
Proof assistant by Ciro Santilli 35 Updated 2025-01-21 +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

New to topics? Read the docs here!