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

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

Tac	Data.TSTP
Tactic	T2A.Tactics
Tau	Data.TSTP
Tautology	Data.TSTP
Tca	Data.TSTP
Term	Data.TSTP
Theorem	Data.TSTP
Theory
1 (Type/Class)	Data.TSTP
2 (Data Constructor)	Data.TSTP
Thm	Data.TSTP
Type	Data.TSTP