開発ツールとオープンソース AU-COBRA/ConCert 公開GitHubリポジトリ · 主な言語:Rocq Prover。 blockchaincoqスマートコントラクト ☆ 129 +0 / 7d詳細を見る →
開発ツールとオープンソース verse-lab/toychain 公開GitHubリポジトリ · 主な言語:Coq。 blockchainconsensuscoq ☆ 113 +0 / 7d詳細を見る →