mortberg / yaccttLinks

yacctt: Yet Another Cartesian Cubical Type Theory
76Updated 6 years ago

Alternatives and similar repositories for yacctt

Users that are interested in yacctt are comparing it to the libraries listed below

Sorting: