Anaconda2-4.0.0-Windows-x86_64.exe

Anaconda2-2019.10-Linux-x86_64.sh

Anaconda3-5.2.0-Linux-x86_64

Anaconda指的是一个开源的Python发行版本，其包含了conda、Python等180多个科学包及其依赖项。 [1] 因为包含了大量的科学包，Anaconda 的下载文件比较大（约 531 M

Miniconda3-latest-Windows-x86_64.exe

JLINKV7.50 JLink驱动软件，官网下的慢的话可以下载这个；我一直会跟踪官网的更新，做一个搬运工哦； 长期监控官网更新。

bazel-3.7.2-windows-x86_64.exe.zip

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

64位 编译软件

Anaconda是专注于数据分析的Python发行版本，包含了conda、Python等190多个科学包及其依赖项。

Anaconda3-2019.10-Windows-x86_64官网版本（Anaconda3windows版本）百度网盘链接和提取码。