Stream created by Josh Chen.
Kevin Kappelmann changed the access permissions for this stream from Public to Web-public.
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