Proofs as Programs #1 Post by InputName » Mon, Jun 01, 2026, 11:55 AM UTC Proofs as Programssystemsthinkingcollection.substack.com