#proof

共找到 2 篇相关文章

arXiv:2606.12594v1 Announce Type: new Abstract: Modern Lean theorem provers achieve strong performance only with substan

and proof Lean

2026-06-12 Joshua Ong Jun Leang, Zheng Zhao, Mihaela C\u{a}t\u{a}lina Stoian, Qiyuan Xu, Haonan Li, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia

arXiv:2605.22885v1 Announce Type: new Abstract: Formal mathematics libraries are rapidly expanding, creating a growing n

and proof that

2026-05-25 Riyaz Ahuja, Tate Rowney, Jeremy Avigad, Sean Welleck