Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with equivalences
A curated list of projects in awesome lists tagged with equivalences .
https://github.com/uwplse/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
algebraic-ornaments coq coq-plugin dependent-types devoid equivalences ornaments proof-assistants proof-refactoring proof-repair proof-reuse pumpkin-patch pumpkin-pi refactoring repair transport
Last synced: 12 Nov 2024
