← Back to repositories
leanprover-community/leanprover-community.github.io
github.com/leanprover-community/leanprover-community.github.io ↗CSS
Stars
⭐ 75
PRs Reviewed
1
Bot Comments
0
Primary Language
CSS
Merge Rate
100.0%
Avg Time to Merge
24m
Avg Additions
+7
Avg Deletions
-0
Avg Files Changed
1
AI Review Products#
AI code review products active on this repository.
