Formal proof

ID: formal-proof

Top articles Latest articles+ New article in topic
Formal proof by Ciro Santilli 35 Updated 2025-03-25 +Created 1970-01-01
A proof in some system for the formalization of mathematics.
Read the full article
Formal proof by Wikipedia Bot 0 1970-01-01
Read the full article

New to topics? Read the docs here!