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: 50,101 of 191,254
Downloads: 22,790

Daily

Ranking: 85,135 of 191,174
Downloads: 0

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
38751,656,854parser
56666,290,530rubocop
307158,063,407colorize
50597,634,964cucumber
60086,677,294test-unit
30,18245,046help_parser

Owners

#GravatarHandle
1iconcarlosjhr64