SmartPy@OCaml2020: The Making Of

Mon, 26 Oct 2020 13:00:42 -0400

A quick experience report …
Tools used for the paper, the slides, and the video.