Tag Archives: type
Mathematics in type theory.
An explanation of how to set up mathematics using universes, types, and terms Continue reading
-
Recent Posts
- Lean 2022 round-up January 8, 2023
- Beyond the Liquid Tensor Experiment September 12, 2022
- The Future of Interactive Theorem Proving? August 16, 2022
- Teaching formalisation to mathematics undergraduates July 29, 2022
- 2022 Xena Project undergraduate workshop May 23, 2022
Xena 