โ† Back to repositories
SHayashida

SHayashida/Sen-Lean4

github.com/SHayashida/Sen-Lean4 โ†—
Python

Stars

โญ 1

PRs Reviewed

3

Bot Comments

5

Primary Language

Python

Merge Rate

100.0%

Avg Time to Merge

6m

Avg Additions

+1.4K

Avg Deletions

-56

Avg Files Changed

17

AI Review Products#

AI code review products active on this repository.