提托瑞尔

泰特瑞尔建在哈斯凯尔。它在博弈、双模拟、拓扑、定性模糊考虑、理论提取、社会选择、基于区间排序的决策支持等许多探索性研究中提供了实质性的帮助。它的依赖类型的泛型构造使得它也成为编程语言的一个研究领域。备注:泰特瑞尔与广为人知的雷维尤有共同的来源。它的效率低得多,功能严格,面向可视化。尚未正式部署;奋进是一个人的存在。