Leanstral 1.5 119B A6B: The Free AI That Proves Your Code Is Correct
Research & Benchmarks

Leanstral 1.5 119B A6B: The Free AI That Proves Your Code Is Correct

More

Descriptions:

This video tests Leanstral 1.5 which is an open-source code agent model designed for Lean 4.

🔥 Buy Me a Coffee to support the channel: https://ko-fi.com/fahdmirza

#leanstral

PLEASE FOLLOW ME:
â–¶ LinkedIn: https://www.linkedin.com/in/fahdmirza/
â–¶ YouTube: https://www.youtube.com/@fahdmirza
â–¶ Blog: https://www.fahdmirza.com

Resources:

â–¶ https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B

All rights reserved © Fahd Mirza

1 Item

Channels

1 Item

Companies

Tags

MCPMistral AISlack
Prev

Fable 5 + Karpathy’s LLM Wiki is Basically Cheating

Next
800+ hours of Learning Claude Code in 8 minutes (2026 tutorial / unknown tricks / newest model)

800+ hours of Learning Claude Code in 8 minutes (2026 tutorial / unknown tricks / newest model)

18 Related Posts

Related Posts