This is a cache of https://b.hatena.ne.jp/entry/s/mistral.ai/news/leanstral. It is a snapshot of the page as it appeared on 2026-03-17T12:05:35.608+0000.

[B! ai] Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

テクノロジーカテゴリーの変更を依頼記事元:

mistral.ai

13users がブックマークコメント

コメント

1

記事へのコメント1件

注目コメント
新着コメント

nguyen-oi 「雰囲気」で書いたコードをLeanで検証するって発想がいい。Mistralは相変わらず筋が良い

2026/03/17 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

Case studies Answering stackexchange posts about changes in newest Lean version When breaking cha... Case studies Answering stackexchange posts about changes in newest Lean version When breaking changes hit a new Lean release, migrating code can be a massive headache. We fed Leanstral a real-world question from the Proof Assistants Stack Exchange about a script that mysteriously stopped compiling in Lean 4.29.0-rc6 (which we did not train with due to its recency). The culprit was a rewrite (rw) t

ブックマークしたユーザー

yuuki55552026/03/17
syou4302026/03/17
toshikish2026/03/17
nmn_umu2026/03/17
CLSmooth2026/03/17
nguyen-oi2026/03/17
toenobu2026/03/17
tasukuchan2026/03/17
yohamta2026/03/17

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx