Search for blocks/addresses/...

Proofgold Proposition

not (TwoRamseyProp_atleastp 3 5 13)
type
prop
theory
HotG
name
not_TwoRamseyProp_atleast_3_5_13
proof
PUhrQ..
Megalodon
-
proofgold address
TMZLg..
creator
18246 Pr4zB../86dac..
owner
18246 Pr4zB../86dac..
term root
ccaec..