Proofs as Programs

systemsthinkingcollection.substack.com