Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ordinal x0ordinal x1SNoLt x0 x1x0x1
type
prop
theory
HotG
name
ordinal_SNoLt_In
proof
PUK1b..
Megalodon
ordinal_SNoLt_In
proofgold address
TMY34..ordinal_SNoLt_In
creator
4949 Pr6Pc../17219..
owner
4949 Pr6Pc../17219..
term root
d6f06..