Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] my Machine Logic blog


view this post on Zulip Email Gateway (Oct 21 2021 at 11:10):

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: Dec 05 2021 at 22:18 UTC