RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

Lecturer in Computer Science at Australian National University. Interested in logic, types, and categories. See my introduction post […] 🌉 bridged from ⁂ https://fediscience.org/@RanaldClouston, follow @ap.brid.gy to interact

Having done bidding for papers at the next Certified Proofs and Programs (CPP), I have this to say: "Formalization of X in Y" isn't gonna cut it anymore. When calculators first came out, did people try to publish "We computed √(5 + log 2) to 15 decimals"?

Ok, first of all 👏 for finishing the book. I'm not sure how old you are, but whether you are 10-100, the applause is the same. Very good questions that are impossible to answer in short tweets, but let me give it a try, one per 'tweet':