Anders Mörtberg

icon indicating a website link http://staff.math.su.se/anders.mortberg/

icon location Sweden

Results 4 repositories owned by Anders Mörtberg

cubicaltt

562
Stars
77
Forks
Watchers

Experimental implementation of Cubical Type Theory

verified publisher icon mortberg

AlgTop

23
Stars
1
Forks
Watchers

Haskell library of algebraic topology

verified publisher icon mortberg

gen-cart

33
Stars
1
Forks
Watchers

A Unifying Cartesian Cubical Set Model

verified publisher icon mortberg

yacctt

72
Stars
8
Forks
Watchers

yacctt: Yet Another Cartesian Cubical Type Theory

verified publisher icon mortberg