ProofOfKeags/btc-verified

できること

ProofOfKeags/btc-verifiedは公開GitHubリポジトリ · 主な言語：Lean。最新の記録ではスター26件、フォーク5件です。 トピック：bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4。 利用前に資料、ライセンス、現在のIssueを確認してください。

Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.

GitHubリポジトリ

スター

26

スター増加・7日

—

フォーク

5

主なプログラミング言語

Lean

リポジトリのライセンス

Apache-2.0

最後のコード更新

2026/10/07

人気はGitHubのスター数に基づきます。7日の増加数には1週間のローカル記録が必要です。当サイトの収集であり、GitHub公式のトレンドではありません。

出典と更新状況

取り込み項目には出典があります。掲載は発見の手がかりであり、推奨ではありません。