plt-amy/cubical-methods plt-amy/cubical-methods

  • Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    TeX
  • License
    Creative Commons ...
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
plt-amy/cubical-methods
github

plt-amy

Reviews

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

Repository Details

A textbook on cubical type theory

More Repositories

1

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda
317
star
2

ahc

a haskell compiler
OCaml
19
star
3

agda-search

Search for identifiers in Agda codebases
Haskell
15
star
4

dep

A very small implementation of the Calculus of Constructions for experimentation purposes
Haskell
13
star
5

mld

An experiment in compositional typings
Haskell
10
star
6

plt-amy

๐Ÿ‘‹
2
star
7

1lab-previews

HTML
1
star