AU-COBRA/ConCert

Что делает

AU-COBRA/ConCert — публичный репозиторий GitHub, основной язык — Rocq Prover. Последняя запись сообщает 129 звёзд и 22 форков. Темы: blockchain, coq, смарт-контракты, verification. Перед использованием прочитай документацию, лицензию и текущие issues.

A framework for smart contract verification in Coq

Репозитории GitHub

Звёзды

129

Прирост звёзд · 7 дней

+0

Форки

22

Основной язык

Rocq Prover

Лицензия репозитория

MIT

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

25 авг. 2026 г.

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

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

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