Search for blocks/addresses/...
Proofgold Proposition
and
(
atleastp
omega
real
)
(
not
(
equip
real
omega
)
)
type
prop
theory
HotG
name
-
proof
PUVV3..
Megalodon
form100_22_real_uncountable
proofgold address
TMGdD..
form100_22_real_uncountable
creator
30133
PrQUS..
/
47335..
owner
30133
PrQUS..
/
47335..
term root
29697..