Package Details: hol-git 20190312-4

Git Clone URL: https://aur.archlinux.org/hol-git.git (read-only)
Package Base: hol-git
Description: HOL4 theorem-proving system
Upstream URL: https://hol-theorem-prover.org/
Licenses: BSD
Conflicts: hol-git
Provides: hol
Submitter: soimort
Maintainer: soimort
Last Packager: soimort
Votes: 0
Popularity: 0.000000
First Submitted: 2019-03-18 12:12
Last Updated: 2019-03-18 14:30

Dependencies (2)

Required by (0)

Sources (1)