начало положено
начало положено
0 viewsОткрыть в Telegram →
Из этого канала
- #5940для воспроизведения работы пока использую leandojo первый когда по этой работе…
для воспроизведения работы пока использую leandojo первый когда по этой работе смогу генерить доказательства то потом leandojov2 буду прикручивать
- #5942leandojov2 хочет всегда от пользователя гитхаб аксес токен) так что нам не…
leandojov2 хочет всегда от пользователя гитхаб аксес токен) так что нам не пойдет
- #5944leandojo выкинул. он не работает с новыми версиями lean4 и…
leandojo выкинул. он не работает с новыми версиями lean4 и https://github.com/leanprover-community/mathlib4 тут теоремы и тактики для доказательств пайплайн из…
- #5934вот это пробую https://t.me/researchim/243/5933
вот это пробую https://t.me/researchim/243/5933
- #5933Generating Millions Of Lean Theorems With Proofs By Exploring State Transition…
Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs https://arxiv.org/abs/2503.04772…