Stream: Beginner Questions

Topic: ✔ qed succeeds in Isar proof with error

Alex Weisberger (Sep 05 2022 at 15:25):

Excellent - thanks!

Notification Bot (Sep 05 2022 at 15:28):

Alex Weisberger has marked this topic as resolved.

Last updated: Jan 17 2026 at 20:25 UTC