Unicoq
MITOCamlv1.6-8.16
A Coq plugin that replaces Coq's standard unification algorithm with an enhanced one supporting universe polymorphism and overloading.
60 stars21 forks0 contributors
Overview
An enhanced unification algorithm for Coq
Related Projects
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
