“LaTTe is a proof assistant library based on type theory”Clojure向け定理証明支援ライブラリー

igrep のブックマーク 2018/11/07 07:50

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/373780755/comment/igrep" data-user-id="igrep" data-entry-url="https://b.hatena.ne.jp/entry/s/github.com/latte-central/LaTTe" data-original-href="https://github.com/latte-central/LaTTe" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Flatte-central%2FLaTTe" data-user-icon="/users/igrep/profile.png">GitHub - latte-central/LaTTe: LaTTe : a Laboratory for Type Theory experiments (in clojure)</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/clojure">clojure</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E%E5%99%A8">定理証明器</a>]</li></ul><br><p style="clear: left">“LaTTe is a proof assistant library based on type theory”Clojure向け定理証明支援ライブラリー</p><a class="datetime" href="https://b.hatena.ne.jp/igrep/20181107#bookmark-373780755"><span class="datetime-body">2018/11/07 07:50</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

GitHub - latte-central/LaTTe: LaTTe : a Laboratory for Type Theory experiments (in clojure)

github.com/latte-central2018/11/07

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Re...

2 人がブックマーク・1 件のコメント

他のコメントを読む

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

はてなブックマーク

GitHub - latte-central/LaTTe: LaTTe : a Laboratory for Type Theory experiments (in clojure)

はてなブックマーク

公式Twitter

はてなのサービス