Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
even_nat
x0
⟶
even_nat
(
ordsucc
(
ordsucc
x0
)
)
type
prop
theory
HotG
name
even_nat_S_S
proof
PUaSr..
Megalodon
even_nat_S_S
proofgold address
TMVLk..
even_nat_S_S
creator
23745
Pr5Zc..
/
d5cfb..
owner
23745
Pr5Zc..
/
d5cfb..
term root
d5ca4..