@cardano / marlowe

Exported version of the Marlowe Semantics using the isabelle proof assistant

Latest0.1.0.1

About

Metadata

  • Last updated
  • License BSD-3-Clause

  • Maintained by: hernan.rajchert@iohk.io

Links

Installation

Readme