About
About (current)
Blog
Bookshelf (current)
Lean
Coursework
Talks

Type Theory and Formal Proof

Nederpelt and Geuvers

© Copyright 2025 Tanner Duve. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Photos from Unsplash.