Search for blocks/addresses/...
Proofgold Proposition
TwoRamseyProp
4
8
(
prim4
8
)
type
prop
theory
HotG
name
TwoRamseyProp_4_8_Power_8
proof
PUZeu..
Megalodon
TwoRamseyProp_4_8_Power_8
proofgold address
TMSkR..
TwoRamseyProp_4_8_Power_8
creator
15602
Pr4zB..
/
7d30e..
owner
15604
Pr4zB..
/
94eb0..
term root
08eff..