Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
84af2..
(
stream_rest
x0
)
type
prop
theory
HotG
name
-
proof
PUZC8..
Megalodon
-
proofgold address
TMZv1..
creator
6992
Pr6Pc..
/
08713..
owner
6992
Pr6Pc..
/
08713..
term root
334c5..