Search for blocks/addresses/...

Proofgold Proposition

not (TwoRamseyProp 4 7 (prim4 3))
type
prop
theory
HotG
name
-
proof
PUKgX..
Megalodon
not_TwoRamseyProp_4_7_Power_3
proofgold address
TMbxd..not_TwoRamseyProp_4_7_Power_3
creator
14577 Pr4zB../f57ec..
owner
14580 Pr4zB../4622a..
term root
9b0d4..