Package Details: abella 2.0.3-1

Git Clone URL: https://aur.archlinux.org/abella.git (read-only)
Package Base: abella
Description: Interactive theorem prover
Upstream URL: http://abella-prover.org/
Licenses: GPL3
Submitter: mgrabovsky
Maintainer: mgrabovsky
Last Packager: mgrabovsky
Votes: 0
Popularity: 0.000000
First Submitted: 2016-04-22 09:57
Last Updated: 2016-04-22 09:57

Dependencies (1)

Required by (0)

Sources (1)