Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "proof-reuse" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "proof-reuse" keyword.

Top 5.5% on proxy.golang.org
github.com/uwplse/pumpkin-pi v2.0.0+incompatible
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
5 versions - Latest release: over 4 years ago - 49 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/uwplse/ornamental-search v2.0.0+incompatible
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
5 versions - Latest release: over 4 years ago - 49 stars on GitHub
Related Keywords
algebraic-ornaments 2 coq 2 coq-plugin 2 dependent-types 2 devoid 2 equivalences 2 ornaments 2 proof-assistants 2 proof-refactoring 2 proof-repair 2 pumpkin-patch 2 pumpkin-pi 2 refactoring 2 repair 2 transport 2