LiveProof workflowproof-pack
Proof Pack is a good example of the workflow leaning hard on visible evidence. It is useful for visitors who understand the idea of proof in theory and want to see a project where that expectation is central.
Proof-heavy example
Proof Pack
A public project centered on visible evidence, browser proof, and inspectable output.
At a glance
What you can inspect here
This page ties the public explanation to the repo, the live surface when one exists, and the diary trail that shows how the implementation changed over time.
LiveProof workflowproof-pack