Introducing Software Verification with Dafny Language Boro Sitnikovski: другие книги

Introducing Blockchain with Lisp Introducing Blockchain with Lisp
2021
Introduction to Dependent Types with Idris Introduction to Dependent Types with Idris
2023