From: Lawrence Paulson <lp15@cam.ac.uk>
It's finally time to announce my blog, Machine Logic:
https://lawrencecpaulson.github.io
Feedback and comments welcome! Also small "proof pearls" in the style of the existing Fibonacci examples.
Larry Paulson
Last updated: Jul 15 2022 at 23:21 UTC