Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Dropout in Iptables_Semantics_Examples_Big...

view this post on Zulip Email Gateway (Aug 05 2020 at 06:33):

From: Florian Haftmann <>
I will have a look after it. Seems to be related to suboptimal code
equations for word operations.


Last updated: Feb 24 2024 at 04:17 UTC