Gen2sat
From MaRDI portal
Software:28613
No author found.
Related Items (3)
Automating automated reasoning. The case of two generic automated reasoning tools ⋮ Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
This page was built for software: Gen2sat
