Search Criteria
Package Details: abella 2.0.6-1
Package Actions
| 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) |