Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Sledgehammer oddities


view this post on Zulip Email Gateway (Aug 22 2022 at 10:08):

From: Makarius <makarius@sketis.net>
This is still open, as far as I can see. Is there anything to add for the
purpose of Isabelle2015 release candidates?

Makarius


Last updated: Mar 29 2024 at 08:18 UTC