Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . and (and (∀ x2 . x2x0SNo x2) (∀ x2 . x2x1SNo x2)) (∀ x2 . x2x0∀ x3 . x3x1SNoLt x2 x3)
type
ιιο
theory
HotG
name
SNoCutP
definition
PUUwp..
Megalodon
SNoCutP
proofgold address
TMF5e..SNoCutP
creator
4910 Pr6Pc../fdc7c..
owner
4910 Pr6Pc../fdc7c..
term root
c083d..