← Back to repositories
Project-Navi

Project-Navi/takens-formalization

github.com/Project-Navi/takens-formalization ↗
Lean

Stars

⭐ 3

PRs Reviewed

4

Bot Comments

0

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

12m

Avg Additions

+281

Avg Deletions

-602

Avg Files Changed

16

AI Review Products#

AI code review products active on this repository.

OpenAI CodexOpenAI Codex
4 PRs4 events
Project-Navi/takens-formalization — AI Code Review Activity — Code Review Trends