package anders
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
CCHM homotopy system type checker based on Mini-TT for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.7.zip
md5=258c659c2b4dd602db1d844ef14189f8
sha512=d2e7f982ebcd99a05fc7a155c408f6317c0a70dfd33f6b2bc1d6a1fcdf920601b38169c7ee8ec8325a55143d7763ee5bc411c71bfb6a326a7d0b76c5f5ceb496
On This Page