Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0omega∀ x1 : ο . (∀ x2 . and (x2omega) (∀ x3 : ο . (∀ x4 . and (x4omega) (∀ x5 : ο . (∀ x6 . and (x6omega) (∀ x7 : ο . (∀ x8 . and (x8omega) (x0 = add_nat (mul_nat x2 x2) (add_nat (mul_nat x4 x4) (add_nat (mul_nat x6 x6) (mul_nat x8 x8))))x7)x7)x5)x5)x3)x3)x1)x1
type
prop
theory
HotG
name
-
proof
PUTs8..
Megalodon
-
proofgold address
TMMjp..
creator
29423 Pr5Zc../e57a9..
owner
29425 Pr5Zc../0166d..
term root
742df..