yacctt
Mirror of https://github.com/mortberg/yacctt
Haskell Обновлен 1 месяц назад
cubicaltt
Mirror of https://github.com/mortberg/cubicaltt/
Haskell Обновлен 1 месяц назад
Ground Zero
Ground Zero: Lean 4 HoTT Library
Lean Обновлен 1 месяц назад
Anders
Anders: Cubical Type Checker
OCaml Обновлен 1 год назад