Tag Archives: recursion
Induction, and inductive types.
Induction in Lean isn’t just something which you do on natural numbers. 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 