[isabelle] my Machine Logic blog



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


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.