Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

SLIWOWICA

 

News in Coq


Prelegent: Jacek Chrząszcz

2023-03-17 12:15

The talk will tell us about new things that emerged in Coq and around Coq proof assistant with its new release.