Email Gateway (Jan 19 2024 at 14:06): Email Gateway (Jan 19 2024 at 14:06):From: Gergely Buday <cl-isabelle-users@lists.cam.ac.uk>
Hi there,
do you know of papers that discuss the evaluation of Isabelle proofs in
industry?
When someone is interested whether the proof is about the actual software
or hardware artifact it claims to be?
It would be interesting even if not Isabelle specific.
Last updated: Jan 04 2025 at 20:18 UTC