Contents
Index
tstp2agda-0.1.0.0: Proof-term reconstruction from TSTP to Agda
A
B
C
D
E
F
G
H
I
L
N
P
Q
R
S
T
U
V
W
:
All
Index - P
Parent
1 (Type/Class)
Data.TSTP
2 (Data Constructor)
Data.TSTP
parse
TSTP
parseFile
TSTP
,
T2A
Plain
Data.TSTP
PredApp
Data.TSTP
printAuxSignatures
T2A
printInd
Util
printPreamble
T2A
printProofBody
T2A
printProofWhere
T2A
printSubGoals
T2A
ProofMap
Data.Proof
ProofTree
Data.Proof
ProofTreeGen
Data.Proof
putStrLnInd
Util