OjasX 仓库包含 558 个机器验证的 Lean 4 定理、28 个 Rocq 9.2 证明文件和 840 个自动化 PyTorch 测试。