Explore indexBack to Terms
Formal Proof
The process of expressing and verifying mathematical theorems using a computer-verifiable logical language
No public content is connected to this entity yet.
The process of expressing and verifying mathematical theorems using a computer-verifiable logical language
No public content is connected to this entity yet.