Introduction to Dependent Types with Idris More Books by Boro Sitnikovski

Introducing Blockchain with Lisp

2021

Introducing Software Verification with Dafny Language

2022