F
O
L
_
S
eq_
C
alc2
SeCaV
Sequent1
Sequent_Calculus_Verifier
Prover
Export
ProverLemmas
Hintikka
EPathHintikka
Usemantics
Countermodel
Soundness
Completeness
Results