ProofOfKeags/btc-verified

O que faz

ProofOfKeags/btc-verified é um repositório público GitHub, principalmente em Lean. O último registro informa 26 estrelas e 5 forks. Temas: bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Leia documentação, licença e issues atuais antes de usar.

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

Repositórios GitHub

Estrelas

26

Estrelas ganhas · 7 dias

—

Forks

5

Linguagem principal

Lean

Licença do repositório

Apache-2.0

Último envio de código

7 de out. de 2026

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.