Boro Sitnikovski

Books
Introduction to Dependent Types with Idris 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
Introducing Software Verification with Dafny Language
2022
Introducing Blockchain with Lisp Introducing Blockchain with Lisp
Introducing Blockchain with Lisp
2021