| Name : coq
| |
| Version : 8.4pl6
| Vendor : PLD
|
| Release : 1
| Date : 2015-07-28 19:43:55
|
| Group : Applications/Math
| Source RPM : coq-8.4pl6-1.src.rpm
|
| Size : 215.95 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/2015/PLD/x86_64/RPMS |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ascii_syntax_plugin.cmxs()(64bit)
cc_plugin.cmxs()(64bit)
config(coq)
decl_mode_plugin.cmxs()(64bit)
dllcoqrun.so()(64bit)
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()(64bit)
field_plugin.cmxs()(64bit)
fourier_plugin.cmxs()(64bit)
ground_plugin.cmxs()(64bit)
micromega_plugin.cmxs()(64bit)
nat_syntax_plugin.cmxs()(64bit)
newring_plugin.cmxs()(64bit)
nsatz_plugin.cmxs()(64bit)
numbers_syntax_plugin.cmxs()(64bit)
omega_plugin.cmxs()(64bit)
quote_plugin.cmxs()(64bit)
r_syntax_plugin.cmxs()(64bit)
recdef_plugin.cmxs()(64bit)
ring_plugin.cmxs()(64bit)
romega_plugin.cmxs()(64bit)
rtauto_plugin.cmxs()(64bit)
string_syntax_plugin.cmxs()(64bit)
subtac_plugin.cmxs()(64bit)
xml_plugin.cmxs()(64bit)
z_syntax_plugin.cmxs()(64bit)
coq
Requires :
