机械检查型安全证明 此回购包含我生成的相关文件2014年春天，在我的关于机器检查类型安全证明的学期项目中。 大部分工作与DOT（依赖对象类型）项目有关，看见https://github.com/TiarkRompf/minidot网站和https://github.com/namin/dot用于代码和http://lampwww.epfl.ch/~amin/dot/foul.pdf为论文撰写。