Proofgold Proposition

0 ∈ ap (ap (9ca4f.. (setexp (setexp 2 2) 2)) 90e5f..) (lam 2 (λ x0 . lam 2 (λ x1 . ap (ap (9ca4f.. 2) (ap (ap 9de32.. x0) x1)) x0)))

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMdnd..

creator
48789 PrMzh../a76d6..

owner
48789 PrMzh../a76d6..

term root
c4660..