Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . nat_p x1 ⟶ add_nat x0 (ordsucc (ordsucc (ordsucc (ordsucc x1)))) = ordsucc (ordsucc (ordsucc (ordsucc (add_nat x0 x1))))
type
prop
theory
HF
name
-
proof
PUaSf..
Megalodon
-
proofgold address
TMV32..
creator
22364 PrBPC../8c497..
owner
22364 PrBPC../8c497..
term root
ae47a..