Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
80242..
x0
⟶
bc82c..
(
f4dc0..
x0
)
x0
=
4a7ef..
type
prop
theory
HoTg
name
-
proof
PUUWv..
Megalodon
-
proofgold address
TMVrM..
creator
3919
PrGxv..
/
450e9..
owner
3919
PrGxv..
/
450e9..
term root
e9028..