Leanstral 1.5 119B A6B is an open-source large language model designed for code agent tasks in Lean 4, supporting both text and image input. It enables advanced mathematical reasoning and proof automation, with open weights for local or API-based deployment. Ideal for researchers and developers working with formal methods and proof assistants.
Latest indexed changes and source events
Mistralai/Leanstral-1.5-119B-A6B discovered by the PulseGate indexer
Other apps tracked under the same category.
