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: Mar 29 2024 at 08:18 UTC