Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 . nat_p x1add_nat x0 x1 = add_nat x1 x0
type
prop
theory
HotG
name
add_nat_com
proof
PUfQZ..
Megalodon
add_nat_com
proofgold address
TMTvQ..add_nat_com
creator
4898 Pr6Pc../64b36..
owner
4898 Pr6Pc../64b36..
term root
40e95..