https://github.com/unimath/sethits
https://github.com/unimath/sethits
Last synced: 11 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/unimath/sethits
- Owner: UniMath
- Created: 2019-06-11T13:18:41.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2024-09-17T19:25:00.000Z (over 1 year ago)
- Last Synced: 2024-09-18T00:00:37.520Z (over 1 year ago)
- Language: Coq
- Size: 375 KB
- Stars: 8
- Watchers: 7
- Forks: 4
- Open Issues: 4
-
Metadata Files: