← Back to repositories
theaustinhatfield

theaustinhatfield/formal-conjectures

github.com/theaustinhatfield/formal-conjectures ↗
LeanFork

Stars

⭐ 0

PRs Reviewed

1

Bot Comments

4

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

21h

Avg Additions

+113

Avg Deletions

-48

Avg Files Changed

1

AI Review Products#

AI code review products active on this repository.

Gemini Code AssistGemini Code Assist
1 PRs1 events
theaustinhatfield/formal-conjectures — AI Code Review Activity — Code Review Trends