This is your work, valued

Guanajuato, Mexico

Violeta Hernández Palacios

Expert
@vihdzp

Mathematician by day, artist by night.

viiii.neocities.org

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

64

combinatorial-games. Combinatorial game library in Lean 4

61

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

33

colimiter. An inverse limiter.

13

ordinal-notation. Ordinal notations in Lean

8

miratope. A renderer for polytopes.

8

polytope_new. Abstract polytopes in Lean!

5

pointillism. A compositional library for musical composition.

3

hfs. Hereditarily finite sets in Rust.

1

lean4game. Server to host lean games.

1

mathlib4. The math library of Lean 4

1

lean4. Lean 4 programming language and theorem prover

1