← Back to repositories
itohiro73/fp-matsuri-2025-formal-verification-and-fp-with-ai
github.com/itohiro73/fp-matsuri-2025-formal-verification-and-fp-with-ai ↗Kotlin
Stars
⭐ 11
PRs Reviewed
4
Bot Comments
0
Primary Language
Kotlin
Merge Rate
100.0%
Avg Time to Merge
3h
Avg Additions
+2.1K
Avg Deletions
-10
Avg Files Changed
17
AI Review Products#
AI code review products active on this repository.
