Alternatives and similar repositories for rubikcubegroup

Users that are interested in rubikcubegroup are comparing it to the libraries listed below

• AlexDuchnowski / rubiks-cube

  View on GitHub
  A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
  ☆11Jul 16, 2025Updated 7 months ago
• agusakov / category-theory-game

  View on GitHub
  ☆17Jul 26, 2020Updated 5 years ago
• mortarsanjaya / IMOSLLean4

  View on GitHub
  Formalization of IMO shortlist problems in Lean 4
  ☆24Updated this week
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• ImperialCollegeLondon / Example-Lean-Projects

  View on GitHub
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Jun 7, 2021Updated 4 years ago
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Oct 16, 2025Updated 4 months ago
• rwbarton / lean-homotopy-theory

  View on GitHub
  A development of homotopy theory in the Lean formal theorem prover.
  ☆14Aug 27, 2020Updated 5 years ago
• ForeverHaibara / Prover

  View on GitHub
  Auto math prover.
  ☆11Jul 10, 2024Updated last year
• GasStationManager / CodeProofTheArena

  View on GitHub
  Lean coding problem solving challenge website with proof verification
  ☆13Jul 8, 2025Updated 7 months ago
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Updated this week
• kendfrey / rubiks-cube-group

  View on GitHub
  A formalization of the Rubik's cube group
  ☆28Oct 1, 2020Updated 5 years ago
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• Julian / lftim

  View on GitHub
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Aug 27, 2022Updated 3 years ago
• zhangir-azerbayev / mathlib-semantic-search

  View on GitHub
  ☆15Apr 12, 2023Updated 2 years ago
• adomani / MA4N1_Theorem_proving_with_Lean

  View on GitHub
  MA4N1 Theorem Proving with Lean
  ☆17Nov 24, 2025Updated 2 months ago
• jjdishere / EG

  View on GitHub
  Formalizing Euclidean Geometry in Lean
  ☆30Mar 21, 2024Updated last year
• jesse-michael-han / lean-tpe-public

  View on GitHub
  The Lean Theorem Proving Environment
  ☆14May 7, 2023Updated 2 years ago
• ImperialCollegeLondon / m1fexplained_lean3

  View on GitHub
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Jul 7, 2023Updated 2 years ago
• MixedMatched / formalizing-game-theory

  View on GitHub
  Example formalization of Game Theoretic concepts in Lean
  ☆25Feb 14, 2025Updated last year
• ATOMSLab / LeanLJ

  View on GitHub
  Lennard Jones in Lean
  ☆20Jul 14, 2025Updated 7 months ago
• leanprover / lean4checker

  View on GitHub
  Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
  ☆32Jan 26, 2026Updated 3 weeks ago
• zhangir-azerbayev / lean-chat

  View on GitHub
  ☆51Jun 27, 2022Updated 3 years ago
• girving / interval

  View on GitHub
  Conservative floating point interval arithmetic in Lean
  ☆24Jan 20, 2026Updated 3 weeks ago
• roozbeh-yz / IMO-Steps

  View on GitHub
  ☆25Jul 16, 2025Updated 7 months ago
• rahul3613 / ProofNet-lean4

  View on GitHub
  ProofNet dataset ported into Lean 4
  ☆29Jun 9, 2025Updated 8 months ago
• Coq-Polyhedra / Coq-Polyhedra

  View on GitHub
  Formalizing convex polyhedra in Coq
  ☆24Jul 8, 2024Updated last year
• dignissimus / Untangle

  View on GitHub
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆29Jun 27, 2024Updated last year
• jasonrute / lean_proof_recording

  View on GitHub
  Proof recording for Lean 3
  ☆27Sep 30, 2021Updated 4 years ago
• alissa-tung / glean

  View on GitHub
  ☆28Jun 4, 2025Updated 8 months ago
• astrainfinita / Algorithm

  View on GitHub
  Verified efficient algorithms in Lean4.
  ☆36Jan 3, 2026Updated last month
• lftcm2023 / lftcm2023

  View on GitHub
  ☆30Sep 8, 2023Updated 2 years ago
• JamesGallicchio / LeanColls

  View on GitHub
  WIP collections library for Lean 4
  ☆32May 8, 2025Updated 9 months ago
• leanprover-community / LeanProject

  View on GitHub
  A template for blueprint-driven formalization projects in Lean.
  ☆94Jan 26, 2026Updated 3 weeks ago
• dwrensha / tryAtEachStep

  View on GitHub
  Try a tactic at each step in a Lean proof.
  ☆32Jan 26, 2026Updated 3 weeks ago
• fpvandoorn / LeanCourse24

  View on GitHub
  Bonn Lean course for winter 24/25
  ☆40Jan 8, 2026Updated last month
• nomeata / lean-calcify

  View on GitHub
  ☆33Jun 15, 2025Updated 8 months ago
• liuchengwucn / FIMO

  View on GitHub
  ☆36Oct 29, 2024Updated last year
• Lizn-zn / NeqLIPS

  View on GitHub
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆39Sep 7, 2025Updated 5 months ago
• Ivan-Sergeyev / seymour

  View on GitHub
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆41Feb 1, 2026Updated 2 weeks ago