News in Coq

Prelegent(ci)

Jacek Chrząszcz

Afiliacja

MIMUW

Termin

25 marca 2022 12:15

Pokój

p. 5820

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Na referacie przedstawione zostaną ostatnie dodatki do narzędzia do dowodzenia twierdzeń Coq.

---