Name		Name	Last commit message	Last commit date
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/

5 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages