← Back to organizations
rocq-prover

rocq-prover

github.com/rocq-prover ↗

Total Stars

⭐ 655

Repos Tracked

3

PRs with AI Review

3

Bot Comments

1

AI Review Products#

AI code review products active on rocq-prover's repositories.

GitHub CopilotGitHub Copilot
3 PRs3 events

Languages#

OCaml

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
vsrocq↗455OCaml10
opam↗171OCaml11
bot↗29OCaml10