Psyche

swMATH28518MaRDI QIDQ40232FDOQ40232

Author name not available (Why is that?)

Described by source

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

Cited In (4)

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

This page was built for software: Psyche