#Leanstral: #OpenSource foundation for trustworthy #vibecodinghttps://
Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AIFirst open-source code agent for Lean 4.
@frankel@mastodon.top @frankel@mastodon.top @frankel@mastodon.top