Stream: Isabelle/ML

Topic: stream events


view this post on Zulip Notification Bot (Oct 14 2019 at 10:25):

Stream created by Josh Chen.

view this post on Zulip Notification Bot (May 06 2022 at 07:16):

Kevin Kappelmann changed the access permissions for this stream from Public to Web-public.

view this post on Zulip Iqra Mustafa (May 08 2022 at 15:56):

Hi I am new to Isabelle, I want to convert one DAML Smart Contract into Isabelle. Can anyone help me with it.


Last updated: Jul 15 2022 at 23:21 UTC