Libraries for interfacing Coq with Why
This package contains a set of routines that assist in the manipulation
of why Coq-formatted output within Coq.
Fedora why-coq package:
Contains libraries for interfacing why with Coq.
You shouldn't have to do anything extra - you should now just be able
to use the Coq-related capabilities of Why.
Browse inside why-coq-2.30-5.fc17.i686.rpm
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com