Articles
Imperative functional programming in Isabelle/HOL
iX-Magazin, October 2022 (Alex Krause, Markus Zimmermann) View article