nathancarter / group-explorerLinks
Group theory visualization software in the browser
☆250Updated last year
Alternatives and similar repositories for group-explorer
Users that are interested in group-explorer are comparing it to the libraries listed below
Sorting:
- Source code for the nLab☆175Updated 2 months ago
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆417Updated 2 weeks ago
- The Lean version manager☆381Updated last week
- 💧 Liquid Tensor Experiment☆196Updated last year
- Lecture notes from Cambridge maths☆69Updated last year
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆101Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆354Updated 3 weeks ago
- Server to host lean games.☆269Updated this week
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…