Proofgold Proposition

Loop (Sing 0) (λ x0 x1 . 0) (λ x0 x1 . 0) (λ x0 x1 . 0) (Sing 0)

type
prop

theory
HF

name
-

proof
PUbrX..

Megalodon
-

proofgold address
TMKxF..

creator
3226 PrCx1../a16f7..

owner
3226 PrCx1../a16f7..

term root
036be..