(image)

Programming Hotmoka
A tutorial on Hotmoka and smart contracts in Takamaka

Fausto Spoto (fausto.spoto@hotmoka.io)

February 2, 2026
(updated to Hotmoka 1.11.5, Mokamint 1.6.4 and Takamaka 1.8.1)
https://www.hotmoka.io

(image)

This document is licensed under a Creative Commons Attribution 4.0 International License. Its latest version is available for free online at https://www.hotmoka.io/tutorial and in PDF at https://github.com/Hotmoka/hotmoka/releases.

Contents