Search for blocks/addresses/...

Proofgold Proposition

(∀ x0 . x0 ∈ u17 ⟶ Church17_p (u17_to_Church17_buggy x0)) ⟶ ∀ x0 x1 . TwoRamseyGraph_3_6_17_buggy x0 x1 ⟶ TwoRamseyGraph_3_6_17_buggy x1 x0
type
prop
theory
HotG
name
-
proof
PUecc..
Megalodon
-
proofgold address
TMVi7..
creator
18985 Pr4zB../7732c..
owner
18985 Pr4zB../7732c..
term root
62112..