Univalent Mathematics

Repositories

• SymmetryBook

  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  TeX 11 215 29 0 Updated Aug 18, 2020

• UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  coq mathematics coq-library foundations unimath
  Coq 127 645 143 (1 issue needs help) 13 Updated Jul 27, 2020

• TypeTheory

  The mathematical study of type theories, in univalent foundations
  Coq 16 82 8 1 Updated Jun 29, 2020

• Schools
  TeX 14 33 0 0 Updated Apr 25, 2020

• largecatmodules

  Large category of modules over monads on top of UniMaths and Display category
  Coq 2 9 6 0 Updated Mar 2, 2020

• unimath.github.io

  Various websites
  HTML 1 1 0 0 Updated Feb 12, 2020

• SetHITs
  Coq 0 8 0 0 Updated Jun 11, 2019

• opam-repository

  This repository makes it easy to build and install UniMath using opam.
  0 2 0 0 Updated Dec 11, 2017

• ICMS2016UniMath.github.io

  Forked from ICMS2016UniMath/ICMS2016UniMath.github.io

  A webpage Vladimir made for a conference.
  HTML 1 0 0 0 Updated Aug 14, 2016

• lBsystems

  Voevodsky's work on B-systems, transferred from his github account
  Coq 1 2 0 0 Updated Feb 28, 2016

• lCsystems

  Voevodsky's work on C-systems, transferred from his github account
  Coq 1 1 0 0 Updated Apr 7, 2015

• book

  Forked from HoTT/book

  A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.
  TeX 305 9 0 0 Updated Feb 28, 2015

• 2006_03_Homotopy_lambda_calculus

  Voevodsky's 2006 paper on homotopy lambda calculus
  1 9 0 0 Updated Jan 11, 2015

• Foundations

  Voevodsky's original development of the univalent foundations of mathematics in Coq
  Coq 21 208 0 0 Updated Sep 10, 2014

• Universe_Polymorphic_Type_System

  Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes
  3 5 0 0 Updated Jun 15, 2014

• old_notes_on_type_systems

  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  1 5 0 0 Updated Jun 15, 2014