Boro Sitnikovski

1960

• Gaštar
• Introducing Blockchain with Lisp
• Introducing Software Verification with Dafny Language
• Introduction to Dependent Types with Idris