Search for blocks/addresses/...

Proofgold Proposition

not (TwoRamseyProp 3 10 (prim4 4))
type
prop
theory
HotG
name
-
proof
PUd6h..
Megalodon
not_TwoRamseyProp_3_10_Power_4
proofgold address
TMFWh..not_TwoRamseyProp_3_10_Power_4
creator
14958 Pr4zB../b0104..
owner
14959 Pr4zB../f162d..
term root
c5022..