|
|
|
|
|
|
by stolenmerch
937 days ago
|
|
|
Also check out the Principia Rewrite project, which aims to use the interactive theorem prover Coq to ensure each proof step is a valid step according to Principia’s axioms and that no steps are skipped, even by accident. https://www.principiarewrite.com/ |
|
|