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 - F
F
1 (Type/Class)
Data.TSTP
2 (Data Constructor)
Data.TSTP
FiDomain
Data.TSTP
FiFunctors
Data.TSTP
File
Data.TSTP
FiPredicates
Data.TSTP
fname
T2A.Core
Formula
Data.TSTP
formula
Data.TSTP
freeVarsF
Data.TSTP
freeVarsT
Data.TSTP
Fsa
Data.TSTP
Fun
Data.TSTP
FunApp
Data.TSTP
Function
Data.TSTP