Proofgold Object

prim1 (λ x0 . x0)

type
ι

theory
HOAS

name
-

definition
PUf2B..

Megalodon
-

proofgold address
TMZWV..

creator
1788 PrGxv../8f842..

owner
1788 PrGxv../8f842..

term root
aab3e..