Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0 ∈ u8 ⟶ Church17_lt8 (u17_to_Church17 x0)
type
prop
theory
HotG
name
-
proof
PUKi4..
Megalodon
-
proofgold address
TMQ8L..
creator
19174 Pr4zB../fd95a..
owner
19174 Pr4zB../fd95a..
term root
a1e27..