https://github.com/ImperialCollegeLondon/group-theory-experiments

Lean 4 experiments in undergraduate group theory
https://github.com/ImperialCollegeLondon/group-theory-experiments

Last synced: 3 months ago
JSON representation

Lean 4 experiments in undergraduate group theory

• Host: GitHub
• URL: https://github.com/ImperialCollegeLondon/group-theory-experiments
• Owner: ImperialCollegeLondon
• Created: 2023-07-07T14:51:44.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-07-07T15:14:50.000Z (over 1 year ago)
• Last Synced: 2024-02-17T13:32:54.655Z (9 months ago)
• Language: Lean
• Size: 28.3 KB
• Stars: 5
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Group theory experiments

Formalisation of various parts of undergraduate group theory, with an eye on making an interactive Lean game.

## Contributing

Talk to Kevin Buzzard

### Installation

To run a local version of the game on your `localhost`, follow the

instructions "[Running games locally](https://github.com/leanprover-community/lean4game/blob/main/DOCUMENTATION.md#running-games-locally)".