Search for blocks/addresses/...

Proofgold Object

∀ x0 : ο . (∀ x1 : (((ι → ο) → ο) → ο)(ι → ο) → ο . (∀ x2 : ((ι → ο) → ο) → ο . ∀ x3 : (ι → ο) → ο . x2 x3x2 (x1 x2))x0)x0
type
ο
theory
HF
name
-
definition
PUKiR..
Megalodon
AC_2
proofgold address
TMUbh..AC_2
creator
1627 PrGxv../4609b..
owner
1627 PrGxv../4609b..
term root
c862a..