Proofgold Object

λ x0 . x0 = 236c6..

type
ι → ο

theory
HOAS

name
-

definition
PULLa..

Megalodon
-

proofgold address
TMd2k..

creator
2130 PrGxv../a7c51..

owner
2130 PrGxv../a7c51..

term root
6c150..