This is a formalization of the book "Type Theory and Formal Proof: An Introduction" by Rob Nederpelt and Herman Geuvers.
Caution
Be sure to review the book's errata (page 51).
BSD-3-Clause
-
Notifications
You must be signed in to change notification settings - Fork 0
"Type Theory and Formal Proof: An Introduction" book formalization in Lean
License
keilambda/ttfpi
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
"Type Theory and Formal Proof: An Introduction" book formalization in Lean