Gen2sat

swMATH16745MaRDI QIDQ28613FDOQ28613

Author name not available (Why is that?)

Cited In (3)

• Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT
• Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
• Automating automated reasoning. The case of two generic automated reasoning tools

This page was built for software: Gen2sat