VMware-VMvisor-Installer-5.5.0-1331820.x86_64.iso

CentOS-8.2.2004-x86_64-boot.iso 镜像，官网下载很慢，已经下载好，需要带走。

Centos 64 位网络安装版。我从官网下载的。各位亲走过路过千万不要错过。大家也可以直接上官网下载,下载地址:https://www.centos.org/download/

VMware Workstation 9.0.0.812388 x86 x64注册机

ocaml-4.02.3-x86_64-mingw64-installer4-opam.exe ocaml-4.02.3 windows 64位/32位 安装包 Objective Caml（OCam

Github上已经没有提供 0.24.1 的安装的脚本了 当前 CSDN 上找到的需要 C 币太多了 找了一个需要下载的,放在这里,防止国站下载超时

Bazel的安装包,官网下载速度慢,可使用此链接 先下载Bazel的安装包 https://github.com/bazelbuild/bazel/releases,我下载的是bazel-0.10.1

bazel Linux 64位系统安装包，版本：bazel-1.2.1-installer-linux-x86_64

bazel-0.26.1-installer-linux-x86_64.sh 编译tensorflow 的工具，官网下载太慢 特此上传

bazel-0.4.2-installer-linux-x86_64.sh.如有需要，自行下载，谢谢！

Coq定理证明工具安装包,可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼!