BitML
1.0

BitML Tutorial

  • Getting started
  • BitML in a nutshell
  • Compiling BitML contracts
  • Verifying BitML contracts

Smart contracts

  • Two players lottery (with collaterals)
  • Timed commitment
  • American Option
  • Auction
  • Court-seized bitcoins
  • More contracts
BitML
  • Docs »
  • Search

© Copyright 2018, N. Atzei, M. Bartoletti, S. Lande, R. Zunino.

Built with Sphinx using a theme provided by Read the Docs.