← Back to repositories

ElodinLaarz/lean-thesis

github.com/ElodinLaarz/lean-thesis ↗

Lean

Stars

⭐ 0

PRs Reviewed

5

Bot Comments

38

Primary Language

Lean

Merge Rate

60.0%

Avg Time to Merge

5h

Avg Additions

+447

Avg Deletions

-5

Avg Files Changed

6

AI Review Products#

AI code review products active on this repository.

Gemini Code Assist