← Back to repositories

cleissonbarbosa/websocket.lean

github.com/cleissonbarbosa/websocket.lean ↗

Lean

Stars

⭐ 1

PRs Reviewed

2

Bot Comments

8

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

12m

Avg Additions

+1.1K

Avg Deletions

-258

Avg Files Changed

60

AI Review Products#

AI code review products active on this repository.

Gemini Code Assist