Ehren のブックマーク / はてなブックマーク

Ehren のブックマーク 2024/05/15 23:37

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4753500237231008928/comment/Ehren" data-user-id="Ehren" data-entry-url="https://b.hatena.ne.jp/entry/s/formal.land/blog/2024/04/26/translation-core-alloc-crates" data-original-href="https://formal.land/blog/2024/04/26/translation-core-alloc-crates" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fformal.land%2Fblog%2F2024%2F04%2F26%2Ftranslation-core-alloc-crates" data-user-icon="/users/Ehren/profile.png">Translation of the Rust's core and alloc crates | Formal Land</a><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/Ehren/20240515#bookmark-4753500237231008928"><span class="datetime-body">2024/05/15 23:37</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Translation of the Rust's core and alloc crates | Formal Land

formal.land2024/05/15

We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primi...

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

他のコメントを読む

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

はてなブックマーク

Translation of the Rust's core and alloc crates | Formal Land

はてなブックマーク

公式Twitter

はてなのサービス