mikeshulman/ohtt mikeshulman/ohtt

  • Stars
    star
    37
  • Rank 721,136 (Top 15 %)
  • Language Agda
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mikeshulman/ohtt
github

mikeshulman

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

H.O.T.T. using rewriting in Agda

More Repositories

1

narya

A proof assistant for higher-dimensional type theory
OCaml
135
star
2

catlog

Categorical logic from a categorical point of view
TeX
72
star
3

cohesivett

Cohesive type theory
TeX
18
star
4

dirtt

Directed type theory for formal category theory
TeX
16
star
5

basictex

My basic LaTeX macros and BibTeX file.
TeX
9
star
6

hott-categories

Categories and the Rezk completion formalized in HoTT
TeX
5
star
7

agda-infinity-categories

Infinity categories in agda
Agda
4
star
8

ddcalc

Notes on calculus
TeX
3
star
9

math494

Lean
2
star
10

syntop

Constructive topology
TeX
2
star