Introducing Blockchain with Lisp Plus de livres par Boro Sitnikovski

Introduction to Dependent Types with Idris Introduction to Dependent Types with Idris
2023
Introducing Software Verification with Dafny Language Introducing Software Verification with Dafny Language
2022