"Software foundations" radionica u Coq-u

Primary tabs

Sunday, 24 June, 2012 - 17:00 to 20:00

Radionica Coq-a prema kursu "Software Foundations" (CIS 500) Benjamina Piercea

Moderator: Bojan Petrovic.

Wiki: https://github.com/haklabbeograd/software-foundations-coq-workshop/wiki

Git repo: https://github.com/haklabbeograd/software-foundations-coq-workshop