Cited in
(21)- A formal semantics of nested atomic sections with thread escape
- From informal to formal proofs in Euclidean geometry
- Declarative Proof Translation (Short Paper)
- CryptHOL: game-based proofs in higher-order logic
- Formal analysis of optical systems
- MizarMode
- CodeV
- LASCAD
- Zemax
- Logic2CNF
- Zoo Probabilistic Systems
- Game_Based_Crypto
- MFMC_Countable
- Probabilistic_While
- Four decades of \textsc{Mizar}. Foreword
- Tarski geometry axioms
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- mizar-items
- Semantics of Mizar as an Isabelle object logic
- Mizar: state-of-the-art and beyond
- A vernacular for coherent logic
This page was built for software: miz3
