для воспроизведения работы пока использую leandojo первый когда по этой работе смогу генерить доказательства то потом leandojov2 буду прикручивать
для воспроизведения работы пока использую leandojo первый когда по этой работе…
0 viewsОткрыть в Telegram →
Из этого канала
- #5942leandojov2 хочет всегда от пользователя гитхаб аксес токен) так что нам не…
leandojov2 хочет всегда от пользователя гитхаб аксес токен) так что нам не пойдет
- #5944leandojo выкинул. он не работает с новыми версиями lean4 и…
leandojo выкинул. он не работает с новыми версиями lean4 и https://github.com/leanprover-community/mathlib4 тут теоремы и тактики для доказательств пайплайн из…
- #5945берта потюнили он используется в процессе доказательств помогает искать более…
берта потюнили он используется в процессе доказательств помогает искать более релевантные стратегии
- #5939начало положено
начало положено
- #5934вот это пробую https://t.me/researchim/243/5933
вот это пробую https://t.me/researchim/243/5933