Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "dependent-types" keyword
Top 8.2% on proxy.golang.org
12 versions - Latest release: 4 months ago - 80 stars on GitHub
github.com/EugeneLoy/coq_jupyter v1.6.2
Jupyter kernel for Coq12 versions - Latest release: 4 months ago - 80 stars on GitHub
Top 9.6% on proxy.golang.org
13 versions - Latest release: about 3 years ago - 206 stars on GitHub
github.com/mattam82/coq-equations v1.2.4-8.13
A function definition package for Coq13 versions - Latest release: about 3 years ago - 206 stars on GitHub
Top 9.6% on proxy.golang.org
13 versions - Latest release: about 3 years ago - 206 stars on GitHub
github.com/mattam82/Coq-Equations v1.2.4-8.13
A function definition package for Coq13 versions - Latest release: about 3 years ago - 206 stars on GitHub
Top 9.6% on proxy.golang.org
20 versions - Latest release: over 2 years ago - 195 stars on GitHub
github.com/lukaszcz/coqhammer v1.3.2-coq8.15
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory20 versions - Latest release: over 2 years ago - 195 stars on GitHub