Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2016-1-RC1 sledgehammer "Try this: by ...

Email Gateway (Aug 22 2022 at 14:36):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m afraid that such things do happen from time to time. I also get meson proofs that only succeed if metis is substituted. Still some bugs in there clearly… but who could live without it?
Larry

Last updated: Apr 30 2025 at 08:27 UTC