Search for blocks/addresses/...
Proofgold Proposition
e5b72..
4a7ef..
=
91630..
4a7ef..
type
prop
theory
HoTg
name
-
proof
PUfss..
Megalodon
-
proofgold address
TMVP9..
creator
2718
PrGxv..
/
e12c7..
owner
2718
PrGxv..
/
e12c7..
term root
e0282..