Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Designing Truth Tables in Isabelle

Email Gateway (Aug 18 2022 at 09:50):

From: clinton lefort <ipub@charter.net>
Hello,

Is there a way to design truth tables in Isabelle?

CL

Last updated: Jan 07 2026 at 01:55 UTC