manifesto icon indicating copy to clipboard operation
manifesto copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Move rippling to Coq-community

Open palmskog opened this issue 5 years ago • 0 comments

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

palmskog avatar Mar 17 '19 15:03 palmskog