UniMath/Universe_Polymorphic_Type_System
Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes
Public GitHub Catalog
Discovered Oct 1, 2026
UniMath / old_notes_on_type_systems
Voevodsky's notes on type systems. This version contains more material than the one on his website.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#20835374GitHub System ID
UniMathOrganization / User
PublicVisibility
ActiveCatalog Status
More from UniMath
UniMath/UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
UniMath/Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq