szumixie / stlcLinks
Simply-typed lambda calculus as a QIT in cubical Agda + normalization
☆14Updated last year
Alternatives and similar repositories for stlc
Users that are interested in stlc are comparing it to the libraries listed below
Sorting:
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19Updated last year
- Extensions to cubical for categorical logic/type theory☆32Updated this week
- my phd thesis☆26Updated last year
- Algebraic proof discovery in Agda☆34Updated 3 years ago
- A formalization of the theory behind the mugen library