Search for blocks/addresses/...

Proofgold Object

λ x0 : ι → (ι → ο) → ο . Descr_Vo1 (x0 (DescrR_i_io_1 x0))
type
(ι(ιο) → ο) → ιο
theory
HoTg
name
DescrR_i_io_2
definition
PUdWB..
Megalodon
-
proofgold address
TMNbt..
creator
2791 PrGxv../28465..
owner
2791 PrGxv../28465..
term root
768eb..