Search for blocks/addresses/...

Proofgold Proposition

ordinal (ordsucc omega)
type
prop
theory
HotG
name
ordsucc_omega_ordinal
proof
PUL8Q..
Megalodon
ordsucc_omega_ordinal
proofgold address
TMF6Y..ordsucc_omega_ordinal
creator
4882 Pr6Pc../a31b4..
owner
4882 Pr6Pc../a31b4..
term root
66659..