sidprasad/spytial-lean-formalization

Stars

⭐ 0

PRs Reviewed

2

Bot Comments

3

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

30m

Avg Additions

+802

Avg Deletions

-40

Avg Files Changed

2