Search for blocks/addresses/...
Proofgold Proposition
not
(
TwoRamseyProp
3
9
(
prim4
3
)
)
type
prop
theory
HotG
name
-
proof
PUKgX..
Megalodon
not_TwoRamseyProp_3_9_Power_3
proofgold address
TMH8C..
not_TwoRamseyProp_3_9_Power_3
creator
14577
Pr4zB..
/
ccc0d..
owner
14580
Pr4zB..
/
4ad08..
term root
9579d..