Move rippling to Coq-community #57
Labels
coq-plugin
maintainer-wanted
This project is looking for a new maintainer.
move-project
Move a project to coq-community.
Move a project to coq-community
Project name: rippling
Initial author(s): Sean Wilson
Current URL: https://github.com/tomprince/rippling
Kind: OCaml plugin
License: LGPL 2.1
Description: Plugin for automation of induction proofs using the rippling heuristic. A paper is available that describes the theory and implementation.
Status: unmaintained since 2011 (Coq 8.3)
New maintainer: looking for a volunteer
The text was updated successfully, but these errors were encountered: