Search for blocks/addresses/...

Proofgold Object

λ x0 : (ι → ι)ι → ι . λ x1 : ι → ι . x0 (x0 (x0 x1))
type
CN (ιι)
theory
HotG
name
ChurchNum_ii_3
definition
PUfKL..
Megalodon
-
proofgold address
TMPKM..
creator
15546 Pr4zB../705a3..
owner
15546 Pr4zB../705a3..
term root
cfdb2..