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 <>
It's finally time to announce my blog, Machine Logic:

Feedback and comments welcome! Also small "proof pearls" in the style of the existing Fibonacci examples.

Larry Paulson

Last updated: Jan 25 2022 at 01:11 UTC