Psyche

swMATH28518MaRDI QIDQ40232FDOQ40232

Author name not available (Why is that?)

Official website: http://www.lix.polytechnique.fr/~lengrand/Psyche/

Described by source

• Psyche: a proof-search engine based on sequent calculus with an LCF-style architecture

Cited In (5)

• Scalable fine-grained proofs for formula processing
• Axiomatic constraint systems for proof search modulo theories
• Stoic Sequent Logic and Proof Theory
• intuit
• A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic

This page was built for software: Psyche