Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/zenon-prover/zenon
The Zenon theorem prover
https://github.com/zenon-prover/zenon
Last synced: 3 months ago
JSON representation
The Zenon theorem prover
- Host: GitHub
- URL: https://github.com/zenon-prover/zenon
- Owner: zenon-prover
- License: other
- Created: 2018-09-11T12:56:26.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2023-07-19T13:04:11.000Z (over 1 year ago)
- Last Synced: 2024-05-31T11:36:15.693Z (6 months ago)
- Language: OCaml
- Size: 1.45 MB
- Stars: 14
- Watchers: 4
- Forks: 1
- Open Issues: 1