Being Formal Yet Lightweight

A workshop proudly presented at DDD Europe 2021

Preparation

1. Download the latest Jar from Electrum’s release page (2.1.3 at the moment of writing).
2. Ensure that you can execute it by either double clicking on the downloaded file or running java -jar yourelectrum.jar from a terminal.

Slides

Examples