https://github.com/ethanjameslew/group-theory-lean
notes on WR Scott's Group Theory with the lean prover
https://github.com/ethanjameslew/group-theory-lean
Last synced: 4 months ago
JSON representation
notes on WR Scott's Group Theory with the lean prover
- Host: GitHub
- URL: https://github.com/ethanjameslew/group-theory-lean
- Owner: EthanJamesLew
- Created: 2021-12-29T05:51:46.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2021-12-30T07:41:35.000Z (almost 4 years ago)
- Last Synced: 2023-03-04T05:23:30.327Z (over 2 years ago)
- Language: Lean
- Size: 10.7 KB
- Stars: 0
- Watchers: 1
- Forks: 1
- Open Issues: 0