Proofgold Object

λ x0 x1 . prim0 (prim0 (prim1 (λ x2 . prim1 (λ x3 . prim0 (prim0 (prim0 x3 x2) (prim0 x3 x2)) (prim0 (prim0 x3 x3) (prim0 x3 x3))))) (prim1 (λ x2 . x2))) (prim0 x0 x1)

type
ι → ι → ι

theory
HOAS

name
-

definition
PULLa..

Megalodon
-

proofgold address
TMa6n..

creator
2130 PrGxv../fa5a9..

owner
2130 PrGxv../fa5a9..

term root
ede55..