Proofs as Programs
Posted 1 hour ago by
InputName
3
points
https://systemsthinkingcollection.substack.com/p/proofs-as-programs
0
comments