Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . even_nat x0odd_nat x1odd_nat (add_nat x0 x1)
type
prop
theory
HotG
name
-
proof
PUTZ7..
Megalodon
-
proofgold address
TMNio..
creator
28951 Pr5Zc../0b600..
owner
28951 Pr5Zc../0b600..
term root
41426..