Proofgold Object

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

type
ι → ι

theory
HOAS

name
-

definition
PULLa..

Megalodon
-

proofgold address
TMN5q..

creator
2130 PrGxv../72597..

owner
2130 PrGxv../72597..

term root
9933f..