Leanstral 1.5

Modelo aberto especializado em prova formal, Lean 4 e verificação de propriedades de software.

texto + código2 de julho de 2026

Ficha técnica
Dados verificados

O essencial

Uma leitura rápida das características publicadas pelo laboratório.

FamíliaLeanstral

Versão1.5

Lançamento2 de julho de 2026

Modalidadestexto, código

ContextoNão divulgado

LicençaApache-2.0

DisponibilidadePesos no Hugging Face e API gratuita

Consultar fonte oficial ↗

Demonstração interativa

Como perguntar por Leanstral 1.5

Use perguntas concretas para perceber para que serve um modelo e quais são os seus limites.

Você

Explique-me o que é Leanstral 1.5 e para que pode ser útil.

Assistente de IA

Modelo aberto especializado em prova formal, Lean 4 e verificação de propriedades de software.

Você

Como confirmo se esta informação ainda está atualizada?

Assistente de IA

Consulte a página oficial do laboratório. Esta página regista o lançamento em 2 de julho de 2026 e a disponibilidade como: Pesos no Hugging Face e API gratuita.

Lembre-se: As capacidades, preços e condições de acesso podem mudar. Confirme sempre na fonte oficial antes de escolher uma ferramenta.