Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
0ac37..
x0
4a7ef..
=
x0
type
prop
theory
HoTg
name
-
proof
PUfss..
Megalodon
-
proofgold address
TMZLT..
creator
2718
PrGxv..
/
48c2e..
owner
2718
PrGxv..
/
48c2e..
term root
ae9d3..