Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 . x1x0∀ x2 : ο . (∀ x3 . and (x3omega) (add_nat x1 x3 = x0)x2)x2
type
prop
theory
HotG
name
-
proof
PUcPW..
Megalodon
-
proofgold address
TMWrJ..
creator
8134 PrFVW../a21cf..
owner
8134 PrFVW../a21cf..
term root
0530d..