개발 도구와 오픈소스 ProofOfKeags/btc-verified 공개 GitHub 저장소 · 주 언어 Lean. bitcoinbitcoin protocolformal methods ☆ 26항목 보기 →