Name		Name	Last commit message	Last commit date
Latest commit History 66 Commits
Definition		Definition
misc		misc
.gitignore		.gitignore
README.md		README.md
programming-in-martinlofs-type-theory.pdf		programming-in-martinlofs-type-theory.pdf

Repository files navigation

PiMLTT

A formalization of Programming in Martin-Löf's Type Theory.

About

Formalization of "Programming in Martin-Löf's Type Theory".

www.cse.chalmers.se/research/group/logic/book/

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%