[B! github][proof-assistant] nabinnoのブックマーク

nabinno id:nabinno

githubとproof-assistantに関するnabinnoのブックマーク (2)

GitHub - formal-land/coq-of-rust: Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
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. Reload to refresh your session. Dismiss alert
nabinno 2024/05/17
github

formal-land

coq

proof-assistant

formal-methods

software-testing

specification
リンク
GitHub - hatsugai/Geta: Simple proof checker for equational logic
nabinno 2020/04/04
github

geta

scheme

equational-logic

proof-assistant

specification

software-testing
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx