Proofgold Object

λ x0 . False

type
ι → ο

theory
HOAS

name
-

definition
PUcHm..

Megalodon
-

proofgold address
TMHuG..

creator
1745 PrGxv../7519a..

owner
1745 PrGxv../7519a..

term root
9df9f..