https://github.com/fuco1/algebra
Algebra in Coq
https://github.com/fuco1/algebra
Last synced: about 1 year ago
JSON representation
Algebra in Coq
- Host: GitHub
- URL: https://github.com/fuco1/algebra
- Owner: Fuco1
- Created: 2016-01-05T22:03:39.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-01-06T21:56:11.000Z (over 10 years ago)
- Last Synced: 2025-02-07T07:46:27.413Z (about 1 year ago)
- Language: Coq
- Size: 1000 Bytes
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files: