Leanstral
Семейство моделей Mistral для формальных доказательств и проверки кода в Lean.
- Компания
- Mistral AI
- Запрещенная организация
- Нет
- Статус страны
- Недружественная страна
Mistral выпустила Leanstral 1.5
Выпуск опубликован под Apache 2.0 и работает с обратной связью от компилятора. Модель поддерживает последовательное исправление доказательств и работу с кодом в репозитории.
Модели и версии
Фильтры и сортировка
Записей: 1
Leanstral 1.5
Модель предназначена для построения и проверки формальных доказательств в Lean 4.
- Запрещенная организация
- Нет
- Статус страны
- Недружественная страна
Совпадений нет
Измените запрос или вернитесь позже.