Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq plugin pumpkin patch
coq-plugin
x
pumpkin-patch
x
3 search results found
Pumpkin Pi
⭐
49
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Pumpkin Patch
⭐
38
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Coq Plugin Lib
⭐
6
Library of useful utility functions for Coq plugins
Related Searches
Ocaml Coq Plugin (5)
Coq Pumpkin Patch (4)
Plugin Pumpkin Patch (3)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.