Categories: None [Edit]

korekto

https://rubygems.org/gems/korekto
https://github.com/carlosjhr64/korekto
A general proof checker. Works with [neovim](https://github.com/neovim/neovim).

Total

Ranking: 49,970 of 189,104
Downloads: 22,590

Daily

Ranking: 27,013 of 189,083
Downloads: 15

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
39726,253,774parser
56643,705,495rubocop
302155,490,616colorize
50095,775,819cucumber
62083,894,048test-unit
30,06644,617help_parser

Owners

#GravatarHandle
1iconcarlosjhr64