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