From: clinton lefort <ipub@charter.net> Hello,
Is there a way to design truth tables in Isabelle?
CL
Last updated: May 03 2024 at 08:18 UTC