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,462 of 193,756
Downloads: 23,293

Daily

Ranking: 71,816 of 193,649
Downloads: 1

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
37795,229,498parser
56705,297,141rubocop
318162,759,214colorize
508100,671,933cucumber
58391,128,202test-unit
30,45346,110help_parser

Owners

#GravatarHandle
1iconcarlosjhr64