Proofgold Object

λ x0 x1 . False

type
ι → ι → ο

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMSwn..

creator
1880 PrGxv../bb0dc..

owner
1880 PrGxv../bb0dc..

term root
d1fb0..