Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
binunion
x0
0
=
x0
type
prop
theory
HF
name
-
proof
PUZM3..
Megalodon
binunion_idr
proofgold address
TMS3T..
binunion_idr
creator
1446
PrGxv..
/
65f09..
owner
1446
PrGxv..
/
65f09..
term root
51b80..