Exported version of the Marlowe Semantics using the isabelle proof assistant
Hernan Rajchert
hernan.rajchert@iohk.io
BSD-3-Clause
2024-01-29T16:45:19Z
None