Type theory
Hub page for type theory explanations
Children:
- Programming in Dependent Type Theory
Working with simple types in Lean
Parents:
- Mathematics
Mathematics is the study of numbers and other ideal objects that can be described by axioms.
Hub page for type theory explanations
Children:
Working with simple types in Lean
Parents:
Mathematics is the study of numbers and other ideal objects that can be described by axioms.