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 - :
:!=:
Data.TSTP
:&:
Data.TSTP
:<=:
Data.TSTP
:<=>:
Data.TSTP
:<~>:
Data.TSTP
:=:
Data.TSTP
:=>:
Data.TSTP
:|:
Data.TSTP
:~&:
Data.TSTP
:~:
Data.TSTP
:~|:
Data.TSTP