PhDDayDemos

Lambda calculus and Type Theory demos for the PhD Open Day of Saturday 5th April 2025 in Florence

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
README.md		README.md
intuitionistic.v		intuitionistic.v
nat.hs		nat.hs
rules.v		rules.v

Provide feedback