Introducing Blockchain with Lisp Sách Khác Của Boro Sitnikovski

Introduction to Dependent Types with Idris

2023

Introducing Software Verification with Dafny Language

2022