Explore index

Formalized Mathematics

The practice of encoding mathematical definitions and proofs in a formal language so that every step is machine-checkable.

No public content is connected to this entity yet.