jmchapman / ITT9200 Public

Notifications You must be signed in to change notification settings
Fork 1
Star 5

ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann

5 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
CwA		CwA
CwF		CwF
CwSF		CwSF
exercises		exercises
lib		lib
README.md		README.md

Repository files navigation

ITT9200

ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann

About

ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2