Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
nat_p
x0
⟶
exactly1of2
(
even_nat
x0
)
(
even_nat
(
ordsucc
x0
)
)
type
prop
theory
HotG
name
even_nat_xor_S
proof
PUaSr..
Megalodon
even_nat_xor_S
proofgold address
TMMFv..
even_nat_xor_S
creator
23745
Pr5Zc..
/
12291..
owner
23745
Pr5Zc..
/
12291..
term root
3c6b5..