Proofgold Object

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

type
ι

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMLRX..

creator
1880 PrGxv../63edd..

owner
1880 PrGxv../63edd..

term root
b5b4c..