Christian Doczkal (Jul 02 2021 at 13:24): Christian Doczkal (Jul 02 2021 at 13:24):Presentation given by @Théo Winterhalter
Christian Doczkal (Jul 02 2021 at 13:34):@Théo Winterhalter , I was a bit surprised that your external hint for the validity of if _ then _ else _ did not talk about the condition. Does the condition have to be a variable? I guess it can't be an arbitrary program.
Théo Winterhalter (Jul 02 2021 at 13:36):It seems to work as is for conditional of the form
if ek == ek' then ... else ...
(which we have in our examples)
Last updated: Oct 01 2023 at 19:01 UTC