Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 : ο .
and
x0
x1
⟶
x0
type
prop
theory
HF
name
-
proof
PUNKw..
Megalodon
andEL
proofgold address
TMZiZ..
andEL
creator
628
Pr4Ru..
/
14a86..
owner
628
Pr4Ru..
/
14a86..
term root
c29e2..