Email Gateway (Aug 19 2022 at 16:58): Email Gateway (Aug 19 2022 at 16:58):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
The world desperately needed another blog, so here is one about proof and Isabelle.
This week: how to get Isabelle (outer) syntax highlighting in markdown and html.
http://proofcraft.org/blog/syntax-highlighting.html
Not all articles will be technical articles about Isabelle, but the plan is that there’ll be one every once in a while.
Cheers,
Gerwin
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Last updated: Apr 25 2024 at 12:23 UTC