Gen2sat

swMATH16745MaRDI QIDQ28613FDOQ28613

Author name not available (Why is that?)

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