Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
x0
∈
u17
⟶
Church17_to_u17
(
u17_to_Church17
x0
)
=
x0
type
prop
theory
HotG
name
-
proof
PUTR5..
Megalodon
-
proofgold address
TMM4N..
creator
19108
Pr4zB..
/
f7f7e..
owner
19108
Pr4zB..
/
f7f7e..
term root
f0f6d..