A newbie's reference solutions to Lean tutorials
-
Updated
Jul 25, 2020 - Lean
#
dependent-types
Here are 9 public repositories matching this topic...
Working through Theorem Proving in Lean4
-
Updated
Nov 29, 2024 - Lean
Exercises from Theorem Proving In Lean
-
Updated
Oct 21, 2018 - Lean
Answers to the exercises in the Lean tutorial
-
Updated
Oct 8, 2016 - Lean
-
Updated
Oct 16, 2019 - Lean
Working through Functional Programming in Lean
-
Updated
Nov 6, 2024 - Lean
Program Specification in Lean 4
-
Updated
Jan 15, 2024 - Lean
Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
dependent-types theorem-proving program-synthesis formal-methods theorem-prover automated-reasoning lean4
-
Updated
Nov 17, 2025 - Lean
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
dependent-types theorem-proving program-synthesis formal-methods theorem-prover automated-reasoning dependent-type-theory lean4
-
Updated
Dec 15, 2025 - Lean
Improve this page
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."