#NanoProof

一个从数据、工具到权重全开源的 Lean 4 定理证明器，用 AlphaProof 万分之一不到的算力拿到 MiniF2F 50.8% pass@16，搞形式化验证的可以自己复现了。