Frequently, these are based on ideas from formal type theory and are only available as part of prototype research systems.
Často jsou založeny na myšlenkách z formální teorie typů a jsou k dispozici pouze jako součást prototypových výzkumných systémů.