LAMG

Luis Ángel Méndez Gort

Solving problems

Woven triquetra surrounded by lambda calculus symbols

Programming Language Theories

Building a small programming language in Lean, from specifications to implementations and proofs.

lamg.dev/pl_theories