Introducing Software Verification with Dafny Language Sách Khác Của Boro Sitnikovski

Introducing Blockchain with Lisp

2021

Introduction to Dependent Types with Idris

2023