Violeta Hernández Palacios

miratope-rs. A tool for building and visualizing polytopes.

combinatorial-games. Combinatorial game library in Lean 4

rubik-lean4. Lean 4 formalization of Rubik's cubes

colimiter. An inverse limiter.

ordinal-notation. Ordinal notations in Lean

miratope. A renderer for polytopes.

polytope_new. Abstract polytopes in Lean!

pointillism. A compositional library for musical composition.

hfs. Hereditarily finite sets in Rust.

lean4game. Server to host lean games.

mathlib4. The math library of Lean 4

lean4. Lean 4 programming language and theorem prover