Here are
9 public repositories
matching this topic...
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Updated
Dec 15, 2025
Lean
Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
Updated
Nov 17, 2025
Lean
Program Specification in Lean 4
Updated
Jan 15, 2024
Lean
Updated
Oct 16, 2019
Lean
Exercises from Theorem Proving In Lean
Updated
Oct 21, 2018
Lean
A newbie's reference solutions to Lean tutorials
Updated
Jul 25, 2020
Lean
Answers to the exercises in the Lean tutorial
Working through Theorem Proving in Lean4
Updated
Nov 29, 2024
Lean
Working through Functional Programming in 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.
Curate this topic
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."
Learn more
You can’t perform that action at this time.