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,983 of 197,085
Downloads: 23,712

Daily

Ranking: 55,182 of 197,066
Downloads: 1

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
36849,908,771parser
55754,099,562rubocop
324169,011,839colorize
521104,335,541cucumber
54499,146,747test-unit
30,01048,733help_parser

Owners

#GravatarHandle
1iconcarlosjhr64