Tytuł projektu: Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML
Instytucja: Uniwersytet w Białymstoku, Instytut Informatyki
Miasto: Białystok
Województwo: podlaskie
Kierownik projektu: dr Karol Pąk
Panel: ST6 (obszar: ST)
Liczba wykonawców: 4
Finansowanie: 170440 PLN
Okres realizacji: 2016-07-20 00:00:00 – 2020-03-19 00:00:00 (44 miesięcy)