tstp2agda-0.1.0.0: Proof-term reconstruction from TSTP to Agda (Index - P)

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