https://github.com/kappa-dev/posetlogic
https://github.com/kappa-dev/posetlogic
Last synced: 12 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/kappa-dev/posetlogic
- Owner: Kappa-Dev
- Created: 2017-06-13T19:42:58.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2017-06-14T01:48:04.000Z (about 9 years ago)
- Last Synced: 2025-06-06T22:11:15.660Z (about 1 year ago)
- Language: OCaml
- Size: 2.59 MB
- Stars: 0
- Watchers: 10
- Forks: 0
- Open Issues: 0