← Back to repositories

ufmg-smite/lean-smt

github.com/ufmg-smite/lean-smt ↗

Lean

Stars

⭐ 285

PRs Reviewed

2

Bot Comments

2

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

24m

Avg Additions

+159

Avg Deletions

-235

Avg Files Changed

16

AI Review Products#

AI code review products active on this repository.