Univalent Mathematics

SymmetryBookFormalization Public
Agda formalisation of the Symmetry book

Makefile 32 0 2 0 Updated Feb 1, 2022
UniMath Public
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Coq 732 140 144 (1 issue needs help) 18 Updated Jan 29, 2022
SymmetryBook Public
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.

HTML 260 CC-BY-SA-4.0 16 49 0 Updated Jan 27, 2022
TypeTheory Public
The mathematical study of type theories, in univalent foundations

Coq 94 17 10 1 Updated Jan 13, 2022
largecatmodules Public
Large category of modules over monads on top of UniMaths and Display category

Coq 9 5 6 0 Updated Jan 7, 2022
unimath.github.io Public
Various websites

HTML 3 1 0 0 Updated Dec 10, 2021
SetHITs Public

Coq 8 1 0 0 Updated Nov 17, 2021
Schools Public

TeX 42 14 1 0 Updated Aug 3, 2021
opam-repository Public
This repository makes it easy to build and install UniMath using opam.

2 0 0 0 Updated Dec 11, 2017
ICMS2016UniMath.github.io Public
A webpage Vladimir made for a conference.

HTML 0 1 0 0 Updated Aug 14, 2016

Popular repositories