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 - N
Name
Data.TSTP
name
Data.TSTP
Negate
Data.TSTP
NegatedConjecture
Data.TSTP
NewRule
Data.TSTP
Noc
Data.TSTP
NoSource
Data.TSTP
NumberLitTerm
Data.TSTP