A formalization of Programming in Martin-Löf's Type Theory.
kino3 / pimltt Goto Github PK
View Code? Open in Web Editor NEWFormalization of "Programming in Martin-Löf's Type Theory".
Home Page: http://www.cse.chalmers.se/research/group/logic/book/