Psyche

swMATH28518MaRDI QIDQ40232

No author found.

Described by source

• Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture

Related Items (4)

A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic ⋮ Axiomatic Constraint Systems for Proof Search Modulo Theories ⋮ Stoic Sequent Logic and Proof Theory ⋮ Scalable fine-grained proofs for formula processing

This page was built for software: Psyche