The following pages link to Gen2sat (Q28613):
Displaying 3 items.
- Automating automated reasoning. The case of two generic automated reasoning tools (Q2185494) (← links)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
- Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (Q3305339) (← links)