Gen2sat

MaRDI QIDQ28613swMATHFDO

Official website http://gen2sat-yonizohar.rhcloud.com/gen2sat/

Cited in

(7)

• Para-disagreement logics and their implementation through embedding in Coq and SMT
• Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
• MUltlog
• MetTeL
• KEMS
• intuit
• Automating automated reasoning. The case of two generic automated reasoning tools

This page was built for software: Gen2sat