Інструменти розробника й відкритий код✦Редакційний профіль
btcd
A Bitcoin full-node implementation written in Go.
☆ 6 711 +0 / 7dПереглянути запис
Інструменти розробника й відкритий код
ProofOfKeags/btc-verified
Публічний репозиторій GitHub, переважно мовою Lean.
Для чого це
ProofOfKeags/btc-verified — публічний репозиторій GitHub, переважно мовою Lean. Останній збережений знімок містить такі показники: зірки — 26, форки — 5. Теми: Bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Перед використанням програми прочитай документацію, ліцензію та поточні повідомлення про проблеми.
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. Зростання за 7 днів потребує тижня локальних знімків. Це не офіційний рейтинг GitHub.
Джерела й актуальність
GitHub ↗Джерело оновлено · 16 жовт. 2026 р.
Імпортовані записи посилаються на джерела. Запис допомагає знайти, але не є рекомендацією.