← Back to repositories

sethirus/The-Thiele-Machine

github.com/sethirus/The-Thiele-Machine ↗

Rocq Prover

Stars

⭐ 11

PRs Reviewed

75

Bot Comments

328

Primary Language

Rocq Prover

Merge Rate

97.3%

Avg Time to Merge

4h

Avg Additions

+6.1K

Avg Deletions

-1.6K

Avg Files Changed

27

AI Review Products#

AI code review products active on this repository.

75 PRs112 events

sethirus/The-Thiele-Machine — AI Code Review Activity — Code Review Trends