/old_notes_on_type_systems

Voevodsky's notes on type systems. This version contains more material than the one on his website.

Stargazers

No one’s star this repository yet.