Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Fork of scala-refactoring project (this fork is only used to build stable releases of the Scala IDE plugin for Eclipse, please visit the scala-refactoring website if you are interested in the project. Credit goes to Mirko Stocker and all contributors to the scala-refactoring project.)
This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is
solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.