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