Working proofs. Open the demo, read what it taught us.

Live artifacts paired with the case study that produced them. Public to browse; download requires registration.