← Back to repositories

Fieldnote-Echo/ordvec-formalization

github.com/Fieldnote-Echo/ordvec-formalization ↗

Lean

Stars

⭐ 5

PRs Reviewed

2

Bot Comments

2

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

1h

Avg Additions

+165

Avg Deletions

-204

Avg Files Changed

5

AI Review Products#

AI code review products active on this repository.