Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/minaminao/proof-assistant-contest
Submissions of TopProver and Provenian
https://github.com/minaminao/proof-assistant-contest
Last synced: 23 days ago
JSON representation
Submissions of TopProver and Provenian
- Host: GitHub
- URL: https://github.com/minaminao/proof-assistant-contest
- Owner: minaminao
- Created: 2019-09-13T11:18:28.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2019-09-24T00:23:30.000Z (about 5 years ago)
- Last Synced: 2024-04-22T10:13:15.121Z (8 months ago)
- Language: Coq
- Homepage:
- Size: 4.88 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0