Search for blocks/addresses/...

Proofgold Object

λ x0 . λ x1 : ι → (ι → ο) → ο . ∀ x2 . ∀ x3 : ι → ο . x1 x2 x3prim1 x2 x0
type
ι(ι(ιο) → ο) → ο
theory
HoTg
name
PNo_lenbdd
definition
PUdWB..
Megalodon
-
proofgold address
TMNxL..
creator
2791 PrGxv../7f692..
owner
2791 PrGxv../7f692..
term root
009fa..