Search for blocks/addresses/...

Proofgold Object

λ x0 : (ι → ι)ι → ι . λ x1 : ι → ι . x0 (x0 (x0 (x0 (x0 x1))))
type
CN (ιι)
theory
HotG
name
ChurchNum_ii_5
definition
PUfKL..
Megalodon
-
proofgold address
TMdmt..
creator
15546 Pr4zB../9e732..
owner
15546 Pr4zB../9e732..
term root
aa4eb..