Formalizační seminář - NMAG585
|
|
|
||
Poslední úprava: doc. Mgr. Štěpán Holub, Ph.D. (25.08.2023)
|
|
||
Poslední úprava: doc. Mgr. Štěpán Holub, Ph.D. (25.08.2023)
Zápočet bude udělen za aktivní účast na semináři a za formalizaci vybraného materiálu. |
|
||
Poslední úprava: doc. Mgr. Štěpán Holub, Ph.D. (25.08.2023)
Isabelle proof assistant. https://isabelle.in.tum.de/ Archive of formal proofs. https://www.isa-afp.org/
|