THE FORMALIZATION LIBRARY
From paper to proof map,
in hours.
Explore source-grounded formalization checkpoints that make each
paper’s claims, dependencies, verification status, and open work
inspectable.
LIBRARY VIEW
Loading library
No papers match these filters.
Hover a core node to reveal only its direct context. Click a node
to pin the relation; click the canvas to clear it.
Waiting for checkpoint
