Giters

reo101 / LCPT

λ-Calculus and Proof Theory

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Material for the λ-Calculus and Proof Theory elective course at FMI, 2022/2023

About

λ-Calculus and Proof Theory

Languages

Language:Haskell 36.7%Language:TeX 33.5%Language:Lean 20.2%Language:Nix 9.7%