欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Teiid是一个数据虚拟化系统，允许应用程序使用来自多个异构数据存储的数据。
Teiid由一组工具，组件和创建和执行双向数据的服务所组成。通过抽象和联合、数据存取和集成的实时分布式数据源，无需进行复制或以其他方式移动数据系统的纪录。
