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
The third AI workshop taught by our legendary teacher, Nick Sarafa. This is a full-day hands-on training workshop for purposeful co-creation with AI using Claude Code. Imagine having access to hundreds of billions of dollars of computing power and knowing exactly how to make it work for you through the power of super intelligence.
09:22
09:52
18:51
56:41
A meetup, a workshop, a hackathon, a conference. Any city, or online. Tell us about it and it lands in front of people already learning this stuff.
One a week, never sold on, and one click to stop.
We use a few cookies to keep the site running. Necessary ones are always on. Analytics + marketing are off until you say otherwise.
Read our cookie policy · privacy.