Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0 ⟶ nat_p (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc (ordsucc x0))))))))
type
prop
theory
HF
name
-
proof
PUaSf..
Megalodon
-
proofgold address
TMSFD..
creator
22364 PrBPC../ad93d..
owner
22364 PrBPC../ad93d..
term root
1a52e..