├── .gitignore ├── LICENSE ├── README.md ├── Rubik.lean ├── Rubik ├── Algorithm.lean ├── Card.lean ├── Equiv.lean ├── Move.lean ├── Orientation.lean ├── PRubik.lean ├── Piece.lean ├── RunLength.lean ├── SplitBy.lean └── Stickers.lean ├── lake-manifest.json ├── lakefile.toml └── lean-toolchain /.gitignore: -------------------------------------------------------------------------------- 1 | /.lake 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/README.md -------------------------------------------------------------------------------- /Rubik.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik.lean -------------------------------------------------------------------------------- /Rubik/Algorithm.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/Algorithm.lean -------------------------------------------------------------------------------- /Rubik/Card.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/Card.lean -------------------------------------------------------------------------------- /Rubik/Equiv.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/Equiv.lean -------------------------------------------------------------------------------- /Rubik/Move.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/Move.lean -------------------------------------------------------------------------------- /Rubik/Orientation.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/Orientation.lean -------------------------------------------------------------------------------- /Rubik/PRubik.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/PRubik.lean -------------------------------------------------------------------------------- /Rubik/Piece.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/Piece.lean -------------------------------------------------------------------------------- /Rubik/RunLength.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/RunLength.lean -------------------------------------------------------------------------------- /Rubik/SplitBy.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/SplitBy.lean -------------------------------------------------------------------------------- /Rubik/Stickers.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/Rubik/Stickers.lean -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vihdzp/rubik-lean4/HEAD/lakefile.toml -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.17.0-rc1 2 | --------------------------------------------------------------------------------