Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Code generation and partiality

view this post on Zulip 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: May 21 2025 at 12:44 UTC