Packaging Request: Prover
Mani A
a.mani.cms at gmail.com
Wed Feb 11 14:32:42 UTC 2009
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Can somebody package Prover and MACE4 for Fedora?
The former is a theorem prover, while the latter is typically used for
getting counter examples. (Installing from source is easy, but still
it makes sense as the packages have a large user base).
Best
A. Mani
--
A. Mani
Member, Cal. Math. Soc
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmS490ACgkQunMISzvdfU4uNgCghu5ydYOFqApHupG8gRjriTHP
f4EAn1yoAJLYAtnXYZVLbhfv4yO22EF9
=BxBE
-----END PGP SIGNATURE-----
More information about the devel
mailing list