Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0 ⟶ nat_p (ordsucc (ordsucc (ordsucc (ordsucc x0))))
type
prop
theory
HF
name
-
proof
PUaSf..
Megalodon
-
proofgold address
TMZ9L..
creator
22364 PrBPC../4d8ac..
owner
22364 PrBPC../4d8ac..
term root
5e262..