News in Coq

Prelegent(ci)

Jacek Chrząszcz

Afiliacja

MIMUW

Termin

17 marca 2023 12:15

Pokój

p. 5820

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

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

---