ProofOfKeags/btc-verified

A cosa serve

ProofOfKeags/btc-verified è un repository GitHub pubblico, principalmente in Lean. L'ultimo rilevamento indica 26 stelle e 5 fork. Temi: bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Leggi documentazione, licenza e issue attuali prima dell'uso.

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

Repository GitHub

Stelle

26

Stelle ottenute · 7 giorni

—

Fork

5

Linguaggio principale

Lean

Licenza del repository

Apache-2.0

Ultimo invio di codice

7 ott 2026

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.