SLIWOWICA
Prelegent: Jacek Chrząszcz
The talk will tell us about new things that emerged in Coq and around Coq proof assistant with its new release.