Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] soundness bugs?

Email Gateway (Aug 18 2022 at 10:51):

From: Hasan Amjad <ha227@cam.ac.uk>
Would anyone know how many soundness bugs have been found in released
versions of Isabelle/HOL since the first release? I need to extol the
virtues of LCF-style implementations. TIA.

Cheers,
Hasan

Last updated: Apr 30 2025 at 08:27 UTC