Hacker News new | ask | show | jobs
Proofs as Programs (systemsthinkingcollection.substack.com)
4 points by InputName 13 days ago