mikeshulman/narya mikeshulman/narya

  • Stars
    star
    135
  • Rank 269,297 (Top 6 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mikeshulman/narya
github

mikeshulman

Reviews

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

Repository Details

A proof assistant for higher-dimensional type theory

More Repositories

1

catlog

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

ohtt

H.O.T.T. using rewriting in Agda
Agda
37
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