Keynote talk at CiiT 2015, Pelister National Park

Title: Proof Assistants, marriage of Proof Theory and Programming Languages

http://ciit.finki.ukim.mk/

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net