Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0 ∈ u17 ⟶ Church17_p (u17_to_Church17 x0)
type
prop
theory
HotG
name
-
proof
PUTR5..
Megalodon
-
proofgold address
TMPxx..
creator
19108 Pr4zB../1d89d..
owner
19108 Pr4zB../1d89d..
term root
f4434..