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
Your idea can be anything. At our last workshops, people built plant-based nutrition businesses, a way to measure planetary resilience, crochet headwear and a way to connect lonely people living in the same building. An asset manager went on to raise an additional £25M on their fund within nine months. The fourth workshop is a full day at KOKO with Nick Sarafa, learning to build with Claude Code. Bring the thing you keep meaning to start. We’ll bring the pizza.
Apply once › get screened › meet the company
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.