Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
TransSet
x0
⟶
∀ x1 .
prim1
x1
x0
⟶
Subq
(
4ae4a..
x1
)
x0
type
prop
theory
HoTg
name
-
proof
PUKG7..
Megalodon
-
proofgold address
TMTme..
creator
2750
PrGxv..
/
bc558..
owner
2750
PrGxv..
/
bc558..
term root
81c6b..