Search for blocks/addresses/...

Proofgold Object

λ x0 : (ι → ι) → ο . λ x1 . prim0 (λ x2 . ∀ x3 : ι → ι . x0 x3x3 x1 = x2)
type
((ιι) → ο) → ιι
theory
HoTg
name
Descr_ii
definition
PULk4..
Megalodon
-
proofgold address
TMHB8..
creator
2719 PrGxv../03674..
owner
2719 PrGxv../03674..
term root
3bae3..