Rocq

All repositories

Overview

HEALTH SCORE

Excellent

89out of 100

Strong maintainer coverage and development cadence. Security posture is the only remaining gap.

LIFECYCLE

Active

Consistent commits, responsive maintainers, regular releases, and healthy issue triage.

Display your project Health score on your GitHub page.

Health breakdown

Excellent(89/100)

Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.

Maintainer responsiveness

Median response time is 0 days.

Bus factor

35 active maintainers currently have merge rights.

Organization Diversity

Contributors span 74 organizations.

Project Achievements

Leaderboards

About

Rocq is a formal proof assistant and interactive theorem prover that enables users to write formal mathematical proofs and verify software correctness. It provides a rich type theory-based environment for developing certified programs and mathematical theories.

First commit

August 1999