Proof Space

LeanDojo Benchmark 4 · – tactic proofs · – topics

Color by

Layout

Size by proof length Depth fog

Search theorem / file

Dominant topics

Drag to orbit · scroll to zoom · shift-drag to pan · click a point for its proof.