Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Code generation and partiality

Email Gateway (Aug 19 2022 at 09:25):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
This is a short write-up of some thoughts concerning code generation and
partiality which I deem useful enough to post it here to be archived.

Florian
Partiality.thy
signature.asc

Last updated: Nov 21 2024 at 12:39 UTC