Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
atleastp
u3
(
binintersect
x0
x1
)
⟶
atleastp
x0
u5
⟶
atleastp
x1
u5
⟶
atleastp
(
binunion
x0
x1
)
u7
type
prop
theory
HotG
name
-
proof
PUdSd..
Megalodon
-
proofgold address
TMWVf..
creator
22019
Pr4zB..
/
5aedf..
owner
22019
Pr4zB..
/
5aedf..
term root
2e872..