Expand description
Standard Library for the Kernel.
Defines fundamental types and logical connectives:
- Entity: domain of individuals (for FOL)
- Nat: natural numbers
- True, False: propositional constants
- Eq: propositional equality
- And, Or: logical connectives
Structsยง
- Standard
Library - Standard library definitions.