Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . ordinal x0ordinal x1ordinal x2∀ x3 x4 x5 : ι → ο . PNoLt x0 x3 x1 x4PNoLt x1 x4 x2 x5PNoLt x0 x3 x2 x5
type
prop
theory
HotG
name
PNoLt_tra
proof
PUQ2Y..
Megalodon
PNoLt_tra
proofgold address
TMGtk..PNoLt_tra
creator
4903 Pr6Pc../fe951..
owner
4903 Pr6Pc../fe951..
term root
b7212..