Cited in
(7)- Semantics of Mizar as an Isabelle object logic
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Automated Comparative Study of Some Generalized Rough Approximations
- MMode
- Accessing the Mizar library with a weakly strict Mizar parser
- mizar-items
- Flexary connectives in Mizar
This page was built for software: Logic2CNF
