package anders

  1. Overview
  2. Docs
CCHM homotopy system type checker based on Mini-TT for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

0.7.1.zip
md5=a993dfa86ac42d3dac6c089096b67e84
sha512=6acd8c46a281626e153f6bcc80c03ade45148b1f854ac303fab2932991b3d0ee77a2fa0c4611ee54017eb250ce0f6b732b23ddeef9d57d9eceb4a4d79e5354a8

doc/index.html

anders

OCaml

Innovation. Community. Security.