kupo
digest
ホーム
スケジュール
マイフィード
このサイト
画像の高さ
EN
日本語
中文
タグ · 全デスク横断
Lean 4
過去 5 件 · タイムライン
このタグのスケジュールを見る
関連タグ
Leanstral 1.5
Mistral AI
このタグに含まれるエンティティ
Lean 4で正しさを証明してから検証済みコンパイラ基盤を開発
はてなブックマーク - 人気エントリー - テクノロジー
07-24 12:31
Star Fleetが20のCodexアカウントを並行実行し20のErdős問題を解決
Hacker News
07-15 09:15
Combinatorial Games in Lean
Hacker News
07-12 07:11
Mistralが自動定理証明向けAI「Leanstral 1.5」リリース、Lean 4の証明作業を支援
はてなブックマーク - 人気エントリー - テクノロジー
07-01 20:35
Leanstral 1.5
Hacker News
07-01 05:44
— これ以上ありません —
ホーム
予定
マイフィード
