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

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 - W

Wca	Data.TSTP
Wcc	Data.TSTP
Wct	Data.TSTP
Wec	Data.TSTP
Wtc	Data.TSTP
Wth	Data.TSTP
Wuc	Data.TSTP