HigherOrderCO / Kindex

Collection of Kind2 programs and proofs
11Updated 9 months ago

Alternatives and similar repositories for Kindex:

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