Package: spass (3.7-3) [universe]
Links for spass
Download Source Package spass:
Original Maintainer (usually from Debian):
- Roland Stigge
It should generally not be necessary for users to contact the original maintainer.
An automated theorem prover for first-order logic with equality
Other Packages Related to spass