Skip to the content.

Simply Typed Lambda Calculus

A project to formalize STLC with de Bruijn indices in Lean

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

Stlc_deBruijn is maintained by ElifUskuplu. Visit the GitHub repository for more information.