Nie jesteś zalogowany |
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.
