Package Details: stp 2.1.2-1

Git Clone URL: https://aur.archlinux.org/stp.git (read-only)
Package Base: stp
Description: Simple Theorem Prover
Upstream URL: https://stp.github.io/
Licenses: MIT
Submitter: cyrozap
Maintainer: cyrozap
Last Packager: cyrozap
Votes: 0
Popularity: 0.000000
First Submitted: 2016-04-23 22:53
Last Updated: 2016-04-24 00:00

Dependencies (6)

Required by (0)

Sources (2)