drruisseau / old_notes_on_type_systems Goto Github PK
View Code? Open in Web Editor NEWThis project forked from vladimirias/old_notes_on_type_systems
Voevodsky's notes on type systems. This version contains more material than the one on his website.