Package Details: abella 2.0.6-1

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

Dependencies (1)

Required by (0)

Sources (1)