2026-05-30Mathematical Dependency Interface: Modelador 3D de Dependencias para Lean 4Un explorador 3D rápido de dependencias de Lean 4 y mathlib.