Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
formulae.brew.sh : proof-general
Emacs-based generic interface for theorem provers
Registry
- Homepage
- JSON
purl: pkg:brew/proof-general
License: CNRI-Python-GPL-Compatible
Latest release: almost 2 years ago
First release: about 2 years ago
Dependent repositories: 1
Downloads: 24 last month
Last synced: 27 days ago