Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "canonical-structures" keyword
Top 9.6% on proxy.golang.org
7 versions - Latest release: almost 4 years ago - 26 stars on GitHub
github.com/coq-community/lemma-overloading v8.12.0+incompatible
Libraries demonstrating design patterns for programming and proving with canonical structures in ...7 versions - Latest release: almost 4 years ago - 26 stars on GitHub
Related Keywords