The abstracts and the presentation material of last week’s Coq workshop are available online: https://staff.aist.go.jp/reynald.affeldt/coq2019/. Many thanks to all participants!
4 Likes
The abstracts and the presentation material of last week’s Coq workshop are available online: https://staff.aist.go.jp/reynald.affeldt/coq2019/. Many thanks to all participants!