Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

why-coq

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.
Homepage:
Package version:2.30
Architecture:i686
Distribution:Fedora
Filename:why-coq-2.30-5.fc17.i686.rpm

/usr/share/doc/why-coq-2.30/README.why-coq.Fedora

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

721 B2014-11-29HEADER  view  930+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download why-coq-2.30-5.fc17.i686.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com