Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 . x1x0∀ x2 . nat_p x2add_nat x1 x2add_nat x0 x2
type
prop
theory
HotG
name
-
proof
PUKRi..
Megalodon
add_nat_In_R
proofgold address
TMTxt..add_nat_In_R
creator
15508 Pr4zB../a007e..
owner
15508 Pr4zB../a007e..
term root
eeaa5..