Violeta Hernández Palacios vihdzp

Unicorns, rainbows and lightning

Pinned Loading

1. Lean 4 formalization of Rubik's cubes

   Lean 32 1

2. Ordinal notations in Lean

   Lean 8

3. Combinatorial game library in Lean 4

   Lean 56 11

4. An inverse limiter.

   Rust 13