Proofgold Object

λ x0 : ο . x0 ⟶ False

type
ο → ο

theory
HOAS

name
not

definition
PUcHm..

Megalodon
-

proofgold address
TMRWQ..

creator
1745 PrGxv../63d92..

owner
1745 PrGxv../63d92..

term root
f3043..