Package Details: eqp 09e-1

Git Clone URL: https://aur.archlinux.org/eqp.git (read-only)
Package Base: eqp
Description: Equational Prover (Theorem Prover for First-Order Equational Logic)
Upstream URL: http://www.cs.unm.edu/~mccune/eqp/
Licenses: unknown
Submitter: oriba
Maintainer: oriba
Last Packager: oriba
Votes: 0
Popularity: 0.000000
First Submitted: 2014-02-06 22:00
Last Updated: 2015-06-09 22:39

Dependencies (1)

Required by (0)

Sources (1)