Microsoft Research製の証明機 (prover)

Nyoho のブックマーク 2018/05/01 08:27

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/272090351/comment/Nyoho" data-user-id="Nyoho" data-entry-url="https://b.hatena.ne.jp/entry/s/lean-lang.org/" data-original-href="https://lean-lang.org/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Flean-lang.org%2F" data-user-icon="/users/Nyoho/profile.png">Programming Language and Theorem Prover — Lean</a><br><p style="clear: left">Microsoft Research製の証明機 (prover)</p><a class="datetime" href="https://b.hatena.ne.jp/Nyoho/20180501#bookmark-272090351"><span class="datetime-body">2018/05/01 08:27</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

Programming Language and Theorem Prover — Lean

lean-lang.org2015/03/27

Programming Language and Theorem Prover

42 人がブックマーク・5 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

Programming Language and Theorem Prover — Lean

はてなブックマーク

公式Twitter

はてなのサービス