Proofgold Proposition

ChurchNum_p (λ x0 : ι → ι . λ x1 . x0 (x0 (x0 (x0 (x0 (x0 x1))))))

type
prop

theory
HotG

name
-

proof
PUSRF..

Megalodon
-

proofgold address
TMWb3..

creator
18726 Pr4zB../c1019..

owner
18726 Pr4zB../c1019..

term root
d88f1..