anders

CCHM homotopy system type checker based on Mini-TT for OCaml
Overview Documentation
Description
Install
Published
05 Jul 2021
Sources
0.7.zip
md5=258c659c2b4dd602db1d844ef14189f8
sha512=d2e7f982ebcd99a05fc7a155c408f6317c0a70dfd33f6b2bc1d6a1fcdf920601b38169c7ee8ec8325a55143d7763ee5bc411c71bfb6a326a7d0b76c5f5ceb496
Dependencies
odoc
with-doc
menhir
>= "2.7"
ocaml
>= "4.10.0"
dune
>= "2.0"
Reverse Dependencies