Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Is there any example to show the lemma about l...

Email Gateway (Aug 22 2022 at 10:58):

From: Mandy Martin <tesleft@hotmail.com>
Hi ,
would like to see the subgoal of lemma which is for implementation of liftM of Monad.
is there an example script of lemma which is liftM coming from?
Regards,
Martin

Last updated: Apr 05 2026 at 20:36 UTC