Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . HSNo x0ordinal (HSNoLev x0)
type
prop
theory
HotG
name
HSNoLev_ordinal
proof
PUgzA..
Megalodon
HSNoLev_ordinal
proofgold address
TMFxD..HSNoLev_ordinal
creator
28464 PrQUS../24a3e..
owner
28464 PrQUS../24a3e..
term root
5fdf8..