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)

• MMode
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Accessing the Mizar library with a weakly strict Mizar parser
• Flexary connectives in Mizar
• mizar-items
• Semantics of Mizar as an Isabelle object logic
• Automated Comparative Study of Some Generalized Rough Approximations

This page was built for software: Logic2CNF