DHDMS 下载目录说明
====================

1. DHDMS_Volumes.zip
   包含DHDMS五卷完整数学基础文档：
   - 第一卷：全域原生根源基元
   - 第二卷：具象载体谱系
   - 第三卷：空间体系
   - 第四卷：算子体系
   - 第五卷：逆运算与审计体系

2. GCCdhdms_win64.zip
   Windows 11 x64版本GCCdhdms编译器，包含：
   - dhdms-cc C编译器
   - dhdms-g++ C++编译器
   - as/ld/objdump等完整binutils工具
   - 完整libc/libstdc++运行时库
   - 头文件

3. Pythondhdms.zip
   Pythondhdms工具链，包含：
   - REPL交互环境
   - IR可视化工具
   - 审计分析工具
   - Coq证明生成器
   - 自举测试工具

4. Coqdhdms.zip
   Coqdhdms形式化证明器，包含：
   - 证明内核
   - 30+证明战术
   - 完整标准库
   - 代码提取工具

5. DHDMS_Full.zip
   完整工具链包，包含以上所有内容+源代码+使用文档

6. USAGE.md
   完整使用指南，包含安装、编译、证明、开发教程

作者：孙立佳
官网：https://dhdmslang.com
