https://github.com/tezos/tezoscoq
working with coq and tezos
https://github.com/tezos/tezoscoq
Last synced: about 1 year ago
JSON representation
working with coq and tezos
- Host: GitHub
- URL: https://github.com/tezos/tezoscoq
- Owner: tezos
- Created: 2016-10-19T16:16:42.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2017-07-20T15:32:38.000Z (almost 9 years ago)
- Last Synced: 2025-04-19T19:05:01.889Z (about 1 year ago)
- Language: Coq
- Size: 94.7 KB
- Stars: 28
- Watchers: 12
- Forks: 9
- Open Issues: 5
-
Metadata Files: