· 684 placeholders filled · prover lean4
This is a visualization of task management, not a blueprint. States are matched in the source text, never checked by the prover.