danieleschmidt/formal-circuits-gpt

Stars

⭐ 1

PRs Reviewed

14

Bot Comments

140

Primary Language

Python

Merge Rate

100.0%

Avg Time to Merge

3h

Avg Additions

+2.7K

Avg Deletions

-21

Avg Files Changed

13