Move hybrid to Coq-community

[palmskog]

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