Specware-C is a Coq plugin for deductive software synthesis. For more details,
see specware-in-coq.txt, or try out the examples in the examples directory, or
see the documentation of the original Specware system, on which Specware-C is
based, at http://www.specware.org/.

For installation instructions, please see the INSTALL.txt file.