Stream: Beginner Questions

Topic: ✔ qed succeeds in Isar proof with error


view this post on Zulip Alex Weisberger (Sep 05 2022 at 15:25):

Excellent - thanks!

view this post on Zulip Notification Bot (Sep 05 2022 at 15:28):

Alex Weisberger has marked this topic as resolved.


Last updated: Feb 27 2024 at 08:17 UTC