lioliominister/Lean4-and-Mathematical-Formalization

Stars

⭐ 0

PRs Reviewed

4

Bot Comments

1

Primary Language

JavaScript

Merge Rate

100.0%

Avg Time to Merge

6h

Avg Additions

+26

Avg Deletions

-8

Avg Files Changed

2