ProofOfKeags/btc-verified

À quoi ça sert

ProofOfKeags/btc-verified est un dépôt GitHub public, principalement en Lean. Le dernier relevé indique 26 étoiles et 5 forks. Sujets : bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Lis la documentation, la licence et les issues actuelles avant utilisation.

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

Dépôts GitHub

Étoiles

26

Étoiles gagnées · 7 jours

—

Forks

5

Langage principal

Lean

Licence du dépôt

Apache-2.0

Dernier envoi de code

7 oct. 2026

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.