Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Code generation from Isabelle/HOL theories

Email Gateway (Aug 18 2022 at 09:54):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Draft of tutorial on using and customizing the generic SML/Haskell
code generator framework is now available in Isabelle CVS

Doc/IsarAdvanced/Codegen/

or in time as part of the development snapshot

http://isabelle.in.tum.de/devel/Isabelle_08-Nov-2007_pdf.tar.gz

Suggestions welcomed.

Happy hacking
Florian
florian.haftmann.vcf
signature.asc

Last updated: Nov 21 2024 at 12:39 UTC