Chris Henson
Posts
About
Topics
Misc
Topic: Proof Assistants
The Interplay Between Metaprogramming and Computation in Lean
- June 28, 2025
Beginner Resources for Formalizing Lambda Calculi
- May 10, 2025
Category Theory and Mechanized Proof
- March 11, 2025