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