vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
Pinned Repositories
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
2006_03_Homotopy_lambda_calculus
Voevodsky's 2006 paper on homotopy lambda calculus
Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
lBsystems
Voevodsky's work on B-systems, transferred from his github account
lCsystems
Voevodsky's work on C-systems, transferred from his github account
old_notes_on_type_systems
Voevodsky's notes on type systems. This version contains more material than the one on his website.
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Universe_Polymorphic_Type_System
Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes
vladimirias's Repositories
vladimirias/Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
vladimirias/old_notes_on_type_systems
Voevodsky's notes on type systems. This version contains more material than the one on his website.
vladimirias/2006_03_Homotopy_lambda_calculus
Voevodsky's 2006 paper on homotopy lambda calculus
vladimirias/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
vladimirias/Universe_Polymorphic_Type_System
Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes
vladimirias/lCsystems
Voevodsky's work on C-systems, transferred from his github account
vladimirias/lBsystems
Voevodsky's work on B-systems, transferred from his github account