Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Fool Proof

view this post on Zulip Email Gateway (Aug 19 2022 at 13:18):

From: "Jens-D. Doll" <jd@cococo.de>
Does anyone (on this list) have a theory for the fool problem:

How to discern a real fool from someone who does a mistake?

Cheers,
Jens

Last updated: Dec 16 2025 at 12:51 UTC