formal proof library
C61679
concept
A formal proof library is a structured collection of machine-checkable definitions, theorems, and proofs designed to support rigorous reasoning within a specific logical or mathematical framework.
Instances (1)
| Instance | Via concept surface |
|---|---|
| Archive of Formal Proofs | — |