サクサク読めて、アプリ限定の機能も多数!
うーん、Rustv.thyを検査対象にしている?直接Rustコードを食える何かではないように思える
masterq のブックマーク 2022/11/15 13:36
GitHub - pandaman64/sabi: Formal semantics of Rust[rust][static][verify][isabelle]うーん、Rustv.thyを検査対象にしている?直接Rustコードを食える何かではないように思える2022/11/15 13:36
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/pandaman642022/11/15
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
うーん、Rustv.thyを検査対象にしている?直接Rustコードを食える何かではないように思える
masterq のブックマーク 2022/11/15 13:36
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - pandaman64/sabi: Formal semantics of Rust
github.com/pandaman642022/11/15
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /