Search for blocks/addresses/...

Proofgold Proposition

not (TwoRamseyProp 4 7 (prim4 4))
type
prop
theory
HotG
name
-
proof
PUd6h..
Megalodon
not_TwoRamseyProp_4_7_Power_4
proofgold address
TMReA..not_TwoRamseyProp_4_7_Power_4
creator
14958 Pr4zB../bd157..
owner
14959 Pr4zB../61772..
term root
d0d0d..