← Back to repositories
Beneficial-AI-Foundation

Beneficial-AI-Foundation/FloatSpec

github.com/Beneficial-AI-Foundation/FloatSpec ↗
Lean

Stars

⭐ 10

PRs Reviewed

1

Bot Comments

1

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+83

Avg Deletions

-188

Avg Files Changed

14

AI Review Products#

AI code review products active on this repository.

OpenAI CodexOpenAI Codex
1 PRs1 events
Beneficial-AI-Foundation/FloatSpec — AI Code Review Activity — Code Review Trends