Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] A question about how to use list theory


view this post on Zulip Email Gateway (Aug 18 2022 at 16:32):

From: olfa mraihi <olfa.mraihi@yahoo.fr>
Hi Isabelle Community,

I need to use Isabelle's list theory. I have nothing to prove but al lI need is to simplify clauses and/or deduce new clauses.
is it possible?if yes how can I deal with that?

Thank you very much.


Last updated: Mar 28 2024 at 20:16 UTC