Leanstral 1.5

Модель-агент для языка Lean 4: пишет формальные доказательства и автоматизирует доказательство теорем.

Понимает

текст

Такая модель не видит картинок и видео: ей можно дать только текст. Это важно, если вы собирались показывать ей снимки экрана или документы с картинками.

Создаёт

код, текст

Состав сверен с вендором: 2026-08-18

Входит в подписки

• Mistral Studio Mistral AI · Пополнение баланса