Package Details: stp 2.3.3-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: 2019-09-05 08:01