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

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

Refutation	Data.TSTP
resolveTactic	T2A.Tactics
resolveTacticGen	T2A.Tactics
Role	Data.TSTP
role	Data.TSTP
Root	Data.Proof
Rule	Data.TSTP