[isabelle] how to use core to Isabelle to translate this code?



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



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.