Programming Language and Theorem Prover — Lean

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

lean-lang.org

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

コメント

4

記事へのコメント4件

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

Nyoho Microsoft Research製の証明機 (prover)

2018/05/01 リンク

darwinia へぇこんな言語が。

2016/09/11 リンク

igrep Microsoft Researchによる定理照明器。Z3ともまた違うんだろうかね。 => 訂正。なぜ定理証明器とSMTソルバーをごっちゃにしたんだ。。。

2015/09/07 リンク

ruicc Learn you a haskell的なものかと思ったらleanだった

2015/03/27 リンク

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

規約違反を報告

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

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

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

アプリをダウンロード

関連記事

Programming Language and Theorem Prover — Lean

Programming Language and Theorem Prover Programming Language and Theorem Prover

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

rydot2024/05/23
tybalt2024/05/17
nogoochi2023/12/18
barlog2023/11/01
cu392023/05/09
sonota882023/02/19
sanagif2020/06/18
totechite2020/03/16
shared89352019/10/11
nabinno2019/01/01
michael262018/12/19
Nyoho2018/05/01
emonkak2017/01/03
zeptometer2016/12/12
darwinia2016/09/11
tatac12015/11/26
u_wot_m82015/09/09
igrep2015/09/07

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

設定を変更しましたx