here I write things

TEXT

Size

Font

Global search

Loading search engine...

Press Esc to close

Home
About
Code
Academic
CV
Books

Javascript

2026-05-30

Mathematical Dependency Interface: 3D Dependency Viewer for Lean 4

A fast 3D explorer for Lean 4 and mathlib dependency graphs.

Graph

Each link connects tags that appear together in a post. Drag nodes, zoom, and click or tap to open.

Archives

2026-074
2026-053
2026-042
2026-032
2026-023
2026-016
2025-127
2025-111
2025-101
2025-082
2025-076
2025-063

Last updated: 15/07/2026

visitor@betancourt.work — bash