You are not logged in |
News in Coq
- Speaker(s)
- Jacek Chrząszcz
- Affiliation
- MIMUW
- Date
- March 25, 2022, 12:15 p.m.
- Room
- room 5820
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
Na referacie przedstawione zostaną ostatnie dodatki do narzędzia do dowodzenia twierdzeń Coq.
