← Back to repositories
the-omega-institute

the-omega-institute/automath

github.com/the-omega-institute/automath ↗
TeX

Stars

⭐ 53

PRs Reviewed

1

Bot Comments

0

Primary Language

TeX

Merge Rate

100.0%

Avg Time to Merge

6h

Avg Additions

+1.7K

Avg Deletions

-51

Avg Files Changed

29

AI Review Products#

AI code review products active on this repository.

Cursor BugbotCursor Bugbot
1 PRs1 events
the-omega-institute/automath — AI Code Review Activity — Code Review Trends