← Visuals

Math Graph

Grow short statements with long proofs

Theory

Speed normal

Goodness filter 0.0

proof length ÷ formula size. Higher hides the soup and keeps claims that packed a long argument into a short line. Axioms always stay.

low high

Keep proof trails (ancestors of good statements)

premise → conclusion · top = axioms

Loading…