Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0 ∈ u17 ⟶ ∀ x1 . x1 ∈ u17 ⟶ TwoRamseyGraph_3_6_Church17 (u17_to_Church17 x0) (u17_to_Church17 x1) = 94591.. (55574.. x0) (55574.. x1)
type
prop
theory
HotG
name
-
proof
PUVxk..
Megalodon
-
proofgold address
TMUj4..
creator
31381 Pr4zB../1828f..
owner
31381 Pr4zB../1828f..
term root
52ef8..