Move hybrid to Coq-community #54
Labels
coq-extraction
coq-library
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: hybrid
Initial author(s): Herman Geuvers, Dan Synek, Adam Koprowski, and Eelis van der Weegen
Current URL: https://github.com/Eelis/hybrid
Kind: Coq library and extractable program
License: unknown
Description: A prover for hybrid systems, formalized using CoRN, MathClasses, and CoLoR.
More about the project and link to a paper: http://www.eelis.net/research/hybrid/
Status: unmaintained since 2012
New maintainer: looking for a volunteer
The text was updated successfully, but these errors were encountered: