Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/aya-prover/aya-dev
A proof assistant
https://github.com/aya-prover/aya-dev
aya dependent-types proof-assistant
Last synced: about 1 month ago
JSON representation
A proof assistant
- Host: GitHub
- URL: https://github.com/aya-prover/aya-dev
- Owner: aya-prover
- License: mit
- Created: 2020-11-09T02:16:13.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2024-05-29T19:01:23.000Z (about 1 month ago)
- Last Synced: 2024-05-29T19:09:49.371Z (about 1 month ago)
- Topics: aya, dependent-types, proof-assistant
- Language: Java
- Homepage: https://www.aya-prover.org
- Size: 14.9 MB
- Stars: 251
- Watchers: 9
- Forks: 16
- Open Issues: 57
-
Metadata Files:
- Contributing: .github/CONTRIBUTING.md
- License: LICENSE
- Code of conduct: .github/CODE_OF_CONDUCT.md
Lists
- my-awesome-stars - aya-prover/aya-dev - ~ Youkai (∞, 1)-Mountain (Java)
- awesome-stars - aya-prover/aya-dev - A proof assistant and a dependently-typed language (Java)