mikeshulman/cohesivett mikeshulman/cohesivett

  • Stars
    star
    18
  • Rank 1,200,671 (Top 24 %)
  • Language
    TeX
  • Created about 9 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mikeshulman/cohesivett
github

mikeshulman

Reviews

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

Repository Details

Cohesive type theory

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

ohtt

H.O.T.T. using rewriting in Agda
Agda
37
star
4

dirtt

Directed type theory for formal category theory
TeX
15
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