Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] how to use core to Isabelle to translate this ...


view this post on Zulip Email Gateway (Aug 22 2022 at 13:33):

From: Ho Yeung Lee <davidbenny2000@gmail.com>
Hi ,

https://github.com/atomb/core-to-isabelle

i am not familiar with both haskell and isabelle
however, would like to translate
this code into a lemma for Isabelle to find subgoals

snd(a,b) && snd(a,c) -> snd(a, b && c)

how to translate?

Regards,

Martin


Last updated: Mar 28 2024 at 08:18 UTC