IA159 Formal Verification Methods
Theorem Prover ACL2
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA159/um/script.acl2
- application of HOL Light: Flyspeck
- Dafny@rise4fun