← Back to repositories
marcjermaine-pontiveros

marcjermaine-pontiveros/CoqQ

github.com/marcjermaine-pontiveros/CoqQ ↗
Rocq ProverFork

Stars

⭐ 0

PRs Reviewed

2

Bot Comments

0

Primary Language

Rocq Prover

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+767

Avg Deletions

-204

Avg Files Changed

8

AI Review Products#

AI code review products active on this repository.

SourcerySourcery
2 PRs2 events
Cursor BugbotCursor Bugbot
1 PRs1 events
marcjermaine-pontiveros/CoqQ — AI Code Review Activity — Code Review Trends