开发工具与开源 ProofOfKeags/btc-verified 公开 GitHub 仓库,主要语言为 Lean。 bitcoinbitcoin protocolformal methods ☆ 26查看条目 →