← Back to repositories

sdiehl/zero-to-qed

github.com/sdiehl/zero-to-qed ↗

Lean

Stars

⭐ 114

PRs Reviewed

4

Bot Comments

8

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

16h

Avg Additions

+140

Avg Deletions

-63

Avg Files Changed

7

AI Review Products#

AI code review products active on this repository.