A formalization of the Rubik's cube group
☆28Oct 1, 2020Updated 5 years ago
Alternatives and similar repositories for rubiks-cube-group
Users that are interested in rubiks-cube-group are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 8 months ago
- ☆17Jul 26, 2020Updated 5 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated last year
- A sudoku game where you have to prove that your deductions are valid☆118Aug 31, 2022Updated 3 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated 2 months ago
- Advent of Code 2020 solutions in Lean 4☆26Jan 5, 2021Updated 5 years ago
- ☆13Aug 29, 2025Updated 7 months ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- Lean for the Curious Mathematician 2020☆68Oct 24, 2023Updated 2 years ago
- A Lean file formatter☆70Feb 3, 2023Updated 3 years ago
- Generate HTML documentation for mathlib and Lean