HOL:HOL4定理证明系统的规范资料。 “开发”分支是发生“主线开发”的地方; 当`develop`通过我们的回归测试时`master`被合并以赶上 源码

这是HOL4的Kananaskis发行版的分发目录。 有关在线资源,请参见 。 以下是分发中可用内容的简短列表。 INSTALL * Installation instructions COPYRIGHT * Copyright notice std.prelude * File loaded at the beginning of each HOL session bin/ * Executables doc/ * Some documentation, including release notes examples/ * Some examples help/ * Help support src/ * The system sources too