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.