ProofOfKeags/btc-verified

Что делает

ProofOfKeags/btc-verified — публичный репозиторий GitHub, основной язык — Lean. Последняя запись сообщает 26 звёзд и 5 форков. Темы: bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Перед использованием прочитай документацию, лицензию и текущие issues.

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

Последняя отправка кода

7 окт. 2026 г.

Популярность основана на звёздах. Рост за неделю появится после недели локальных снимков. Это наша подборка, а не официальный рейтинг GitHub.

Источники и актуальность

Импортированные записи ссылаются на источники. Это помощь в поиске, а не рекомендация.