Logic2CNF

MaRDI QIDQ40308swMATHFDO

Official website http://ports.su/math/logic2cnf

Described by source

• Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver

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