Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with 2x2x2

A curated list of projects in awesome lists tagged with 2x2x2 .

https://github.com/thery/minirubik

Solving the mini Rubik (2x2) in Coq

2x2x2 coq formalization rubik-cube theorem-proving

Last synced: 10 Oct 2024