mortberg / yaccttLinks

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

Alternatives and similar repositories for yacctt

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

Sorting: