GitHub - formal-land/coq-of-rust: Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verificationYou 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. Reload to refresh your session. Dismiss alert
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - seL4/l4v: seL4 specification and proofs
GitHub - HigherOrderCO/Kind: A next-gen functional language
GitHub - coq/coq: Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
GitHub - mathink/Cat_on_Coq: Setoid-based Category Theory in Coq.
Lamport talk
GitHub - diffblue/cbmc: C Bounded Model Checker
GitHub - fredlund/McErlang: The McErlang model checker for Erlang
GitHub - Z3Prover/z3: The Z3 Theorem Prover
