minirubik
by thery
Solving the mini Rubik (2x2) in Coq
AI summary
Rubik solver
Solves the mini Rubik 2x2 using theorem-proving in Coq
- stars
- 4
- forks
- 0
- watching
- 2
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Polyhedron library
Formalizes convex polyhedra in Coq using optimization and theorem-proving techniques.
Prime number verifier
A proof assistant library for prime number certification using elliptic curves and Pocklington certificates
Sudoku solver
A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
SAT solver
A verified SAT solver with proof capabilities
Puzzle solver
A web-based solution for Rubik's cube puzzles, allowing users to solve and generate solve data in their browsers.
Kruskal proof library
A comprehensive library of constructive Coq proofs for Kruskal's tree theorem and related concepts.
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Formal Proof Lecture
An introductory course on floating-point numbers and formal proof using Coq
Featured in 1 awesome list
Each link jumps to the spot where the list mentions minirubik.