Definitional Proof Irrelevance in Coq
- Prelegent(ci)
- Daria Walukiewicz-Chrząszcz
- Afiliacja
- MIMUW
- Termin
- 28 października 2022 12:15
- Pokój
- p. 5820
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Nie jesteś zalogowany |
Zaloguj się
|
