mortberg/gen-cart mortberg/gen-cart

  • Stars
    star
    33
  • Rank 783,877 (Top 16 %)
  • Language Agda
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mortberg/gen-cart
github

mortberg

Reviews

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

Repository Details

A Unifying Cartesian Cubical Set Model

More Repositories

1

cubicaltt

Experimental implementation of Cubical Type Theory
Haskell
569
star
2

yacctt

yacctt: Yet Another Cartesian Cubical Type Theory
Haskell
74
star
3

AlgTop

Haskell library of algebraic topology
Haskell
23
star