Search for blocks/addresses/...

Proofgold Proposition

not (TwoRamseyProp 3 8 (prim4 4))
type
prop
theory
HotG
name
-
proof
PUd6h..
Megalodon
not_TwoRamseyProp_3_8_Power_4
proofgold address
TMEzz..not_TwoRamseyProp_3_8_Power_4
creator
14958 Pr4zB../c9ba7..
owner
14959 Pr4zB../6a7e2..
term root
7c4c3..