Proofgold Object

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

type
ι → ι

theory
HOAS

name
-

definition
PULLa..

Megalodon
-

proofgold address
TMHup..

creator
2130 PrGxv../46439..

owner
2130 PrGxv../46439..

term root
fc359..