Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . nat_p x1add_nat x0 (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc x1)))))))))))))))))))))))))))))))) = ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (add_nat x0 x1))))))))))))))))))))))))))))))))
type
prop
theory
HF
name
-
proof
PUaSf..
Megalodon
-
proofgold address
TMWtS..
creator
22364 PrBPC../5fe6b..
owner
22364 PrBPC../5fe6b..
term root
eedb2..