Pinned Loading

1. rubik-lean4 rubik-lean4 Public

   Lean 4 formalization of Rubik's cubes

   Lean 32 1

2. ordinal-notation ordinal-notation Public

   Ordinal notations in Lean

   Lean 8

3. combinatorial-games combinatorial-games Public

   Combinatorial game library in Lean 4

   Lean 54 10

4. colimiter colimiter Public

   An inverse limiter.

   Rust 12