GeezerVison

GeezerVison is showing github.com — Homotopy Type Theory

Popular repositories Loading

book book Public

A textbook on informal homotopy type theory

TeX 2.2k 382
Coq-HoTT Coq-HoTT Public

A Coq library for Homotopy Type Theory

Rocq Prover 1.4k 205
HoTT-Agda HoTT-Agda Public

Development of homotopy type theory in Agda

Agda 442 58
EPIT-2020 EPIT-2020 Public

EPIT 2020 - Spring School on Homotopy Type Theory

TeX 110 12
M-types M-types Public

A formalization of M-types in Agda

Agda 39 3
coq coq Public

Forked from rocq-prover/rocq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

OCaml 33 5

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Agda Coq CSS OCaml Rocq Prover SCSS TeX

Sort

Last updated Name Stars

Showing 10 of 10 repositories

Coq-HoTT Public
A Coq library for Homotopy Type Theory

Uh oh!

There was an error while loading. Please reload this page.

HoTT/Coq-HoTT's past year of commit activity

Rocq Prover 1,407 205 117 (6 issues need help) 21 Updated Nov 12, 2026
book Public
A textbook on informal homotopy type theory

HoTT/book's past year of commit activity

TeX 2,177 382 78 4 Updated Jun 18, 2026
HoTT-2023 Public Forked from HoTT/HoTT-2019
Conference on Homotopy Type Theory 2023

Uh oh!

There was an error while loading. Please reload this page.

HoTT/HoTT-2023's past year of commit activity

SCSS 13 MIT 7 0 0 Updated Jan 24, 2024
coq Public Forked from rocq-prover/rocq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

HoTT/coq's past year of commit activity

OCaml 33 LGPL-2.1 794 51 0 Updated Dec 27, 2023
EPIT-2020 Public
EPIT 2020 - Spring School on Homotopy Type Theory

Uh oh!

There was an error while loading. Please reload this page.

HoTT/EPIT-2020's past year of commit activity

TeX 110 MIT 12 0 3 Updated Jul 29, 2021
M-types Public
A formalization of M-types in Agda

Uh oh!

There was an error while loading. Please reload this page.

HoTT/M-types's past year of commit activity

Agda 39 BSD-3-Clause 3 1 0 Updated Mar 7, 2020
HoTT-2019 Public
Conference on Homotopy Type Theory 2019

Uh oh!

There was an error while loading. Please reload this page.

HoTT/HoTT-2019's past year of commit activity

CSS 16 MIT 7 3 0 Updated Sep 18, 2019
HoTT-Agda Public
Development of homotopy type theory in Agda

Uh oh!

There was an error while loading. Please reload this page.

HoTT/HoTT-Agda's past year of commit activity

Agda 442 MIT 58 7 1 Updated Feb 19, 2019
Archive Public
Archived materials related to Homotopy Type Theory.

HoTT/Archive's past year of commit activity

12 2 0 0 Updated Apr 24, 2012
Foundations Public Forked from UniMath/Foundations
Development of the univalent foundations of mathematics in Coq

Uh oh!

There was an error while loading. Please reload this page.

HoTT/Foundations's past year of commit activity

Coq 19 23 0 0 Updated Apr 24, 2012

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.