Тег: Leanstral

Leanstral — открытая модель Mistral AI для программного доказательства теорем и формальной проверки кода на Lean 4.