Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
x0
∈
SNoS_
omega
⟶
diadic_rational_alt1_p
x0
type
prop
theory
HotG
name
-
proof
PUaqn..
Megalodon
-
proofgold address
TMMHJ..
creator
12463
PrGxv..
/
88f18..
owner
12463
PrGxv..
/
88f18..
term root
ffb5b..