Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
x0
∈
int
⟶
∀ x1 .
x1
∈
int
⟶
∀ x2 .
x2
∈
int
⟶
add_SNo
x0
(
add_SNo
x1
x2
)
∈
int
type
prop
theory
HotG
name
-
proof
PUZgE..
Megalodon
-
proofgold address
TMMtA..
creator
28850
Pr5Zc..
/
98261..
owner
28850
Pr5Zc..
/
98261..
term root
a9dff..