Leanstral 1.5ПровереноLeanstral 1.5 — обновлённая открытая модель Mistral для доказательств Lean 4 с 6 млрд активных параметров.ФримиумОткрыть