Mathematical Dependency Interface: Modelador 3D de Dependencias para Lean 4
Un explorador 3D rápido de dependencias de Lean 4 y mathlib.
Visualización-de-datos
Musical Moods: Análisis de Redes de Sentimiento Musical
Un grafo interactivo de relaciones entre emociones musicales.