Search for blocks/addresses/...

Proofgold Object

λ x0 . ∀ x1 : ι → ο . x1 5e331..(∀ x2 x3 . x1 x2x1 x3x1 (a3eb9.. x2 x3))(∀ x2 x3 . x1 x2x1 x3x1 (bf68c.. x2 x3))x1 x0
type
ιο
theory
HOAS
name
-
definition
PUSb6..
Megalodon
-
proofgold address
TMSMY..
creator
2059 PrGxv../10bea..
owner
2059 PrGxv../10bea..
term root
e274d..