Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . nat_p x0nat_p x1∀ x2 . nat_p x2add_nat x0 x2 = add_nat x1 x2x0 = x1
type
prop
theory
HotG
name
-
proof
PUcPW..
Megalodon
-
proofgold address
TMQKL..
creator
8134 PrFVW../f25f7..
owner
8134 PrFVW../f25f7..
term root
a18c6..