Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
binunion
0
x0
=
x0
type
prop
theory
HF
name
-
proof
PUZM3..
Megalodon
binunion_idl
proofgold address
TMaPq..
binunion_idl
creator
1446
PrGxv..
/
e0a37..
owner
1446
PrGxv..
/
e0a37..
term root
5ae67..