開発ツールとオープンソース ProofOfKeags/btc-verified 公開GitHubリポジトリ · 主な言語:Lean。 bitcoinbitcoin protocolformal methods ☆ 26詳細を見る →