โ† Back to repositories
utensil

utensil/lean4_jupyter

github.com/utensil/lean4_jupyter โ†—
Python

Stars

โญ 37

PRs Reviewed

2

Bot Comments

17

Primary Language

Python

Merge Rate

100.0%

Avg Time to Merge

4d

Avg Additions

+170

Avg Deletions

-73

Avg Files Changed

5

AI Review Products#

AI code review products active on this repository.

utensil/lean4_jupyter โ€” AI Code Review Activity โ€” Code Review Trends