F
O
L
_
S
eq_
C
alc3
List_Syntax
Fair_Stream
Syntax
Semantics
Encoding
Prover
Export
Soundness
Completeness
Result