โ† Back to repositories
formal-land

formal-land/coq-of-rust

github.com/formal-land/coq-of-rust โ†—
Rocq Prover

Stars

โญ 1.1K

PRs Reviewed

1

Bot Comments

0

Primary Language

Rocq Prover

Merge Rate

100.0%

Avg Time to Merge

7h

Avg Additions

+258.8K

Avg Deletions

-32

Avg Files Changed

601

AI Review Products#

AI code review products active on this repository.