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