https://github.com/dwarfmaster/free_group_coq
Construction of the free group in coq
https://github.com/dwarfmaster/free_group_coq
Last synced: about 1 year ago
JSON representation
Construction of the free group in coq
- Host: GitHub
- URL: https://github.com/dwarfmaster/free_group_coq
- Owner: dwarfmaster
- License: wtfpl
- Created: 2020-01-25T10:10:10.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-02-04T10:48:22.000Z (over 6 years ago)
- Last Synced: 2025-02-07T02:48:18.807Z (over 1 year ago)
- Language: Coq
- Size: 20.5 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Construction of the free group in coq.