Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 :
ι →
ι → ο
.
∀ x2 .
6fe8d..
x0
x1
5c39b..
x2
32d20..
⟶
d478c..
x0
x1
x2
type
prop
theory
HOAS
name
-
proof
PULLz..
Megalodon
-
proofgold address
TMdKV..
creator
1880
PrGxv..
/
c0405..
owner
1880
PrGxv..
/
c0405..
term root
01e02..