You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

Definitional Proof Irrelevance in Coq

Speaker(s)
Daria Walukiewicz-Chrząszcz
Affiliation
MIMUW
Date
Oct. 28, 2022, 12:15 p.m.
Room
room 5820
Seminar
Seminar Semantics, Logic, Verification and its Applications

Careers

Website

© 2024 University of Warsaw. All rights reserved.