Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 x2 x3 x4 . odd_nat x1odd_nat x2odd_nat x3odd_nat x4SNoLe x1 x2SNoLe x3 x4mul_SNo 2 x0 = add_SNo (mul_SNo x1 x1) (add_SNo (mul_SNo x2 x2) (add_SNo (mul_SNo x3 x3) (mul_SNo x4 x4)))∀ x5 : ο . (∀ x6 . x6omega∀ x7 . x7omega∀ x8 . x8omega∀ x9 . x9omegax0 = add_SNo (mul_SNo x6 x6) (add_SNo (mul_SNo x7 x7) (add_SNo (mul_SNo x8 x8) (mul_SNo x9 x9)))x5)x5
type
prop
theory
HotG
name
-
proof
PUTZ7..
Megalodon
-
proofgold address
TMdQq..
creator
28951 Pr5Zc../71058..
owner
28951 Pr5Zc../71058..
term root
6dd92..