| Name : coq
| |
| Version : 8.4pl5
| Vendor : INRIA Rocquencourt
|
| Release : 1
| Date : 2014-11-16 15:55:48
|
| Group : Applications/Math
| Source RPM : coq-8.4pl5-1.src.rpm
|
| Size : 202.54 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/rzm5/linux-pld-linux/dists/3.0/2014/PLD/i486/RPMS |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ascii_syntax_plugin.cmxs
cc_plugin.cmxs
config(coq)
decl_mode_plugin.cmxs
dllcoqrun.so
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
elf(buildid)
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 :
