| Name : coq
| |
| Version : 8.3pl1
| Vendor : INRIA Rocquencourt
|
| Release : 1
| Date : 2011-04-08 22:00:43
|
| Group : Applications/Math
| Source RPM : coq-8.3pl1-1.src.rpm
|
| Size : 193.19 MB
| |
| Packager : (none)
| |
| Summary : The Coq Proof Assistant
|
Description :
Coq is a proof assistant which:
- allows to handle calculus assertions,
- check mechanically proofs of these assertions,
- helps to find formal proofs,
- extracts a certified program from the constructive proof of its
formal specification.
|
RPM found in directory: /vol/rzm3/linux-pld-linux/dists/3.0/2012/PLD/i686/RPMS |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ascii_syntax_plugin.cmxs
cc_plugin.cmxs
dllcoqrun.so
dp_plugin.cmxs
extraction_plugin.cmxs
field_plugin.cmxs
fourier_plugin.cmxs
ground_plugin.cmxs
micromega_plugin.cmxs
nat_syntax_plugin.cmxs
newring_plugin.cmxs
nsatz_plugin.cmxs
numbers_syntax_plugin.cmxs
omega_plugin.cmxs
quote_plugin.cmxs
r_syntax_plugin.cmxs
recdef_plugin.cmxs
ring_plugin.cmxs
romega_plugin.cmxs
rtauto_plugin.cmxs
string_syntax_plugin.cmxs
subtac_plugin.cmxs
xml_plugin.cmxs
z_syntax_plugin.cmxs
coq
Requires :
