analyzer-climber

Lean ★ 0 updated 1mo ago

from ⊤ to proof: the program wasn’t rewritten; it was understood.

No plain-English explanation yet — one is being written right now. Check back in a minute.