News in Coq

Speaker(s)

Jacek Chrząszcz

Affiliation

MIMUW

Date

March 17, 2023, 12:15 p.m.

Room

room 5820

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

The talk will tell us about new things that emerged in Coq and around Coq proof assistant with its new release.

---