Categories: None [Edit]
korekto
A general proof checker.
Works with [neovim](https://github.com/neovim/neovim).
Total
Ranking: 50,071 of 180,689
Downloads: 19,185
Daily
Ranking: 32,812 of 180,681
Downloads: 13
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
Rank | Downloads | Name |
---|
Owners
# | Gravatar | Handle |
---|---|---|
1 | carlosjhr64 |