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,271 of 192,034
Downloads: 22,955

Daily

Ranking: 95,838 of 191,980
Downloads: 2

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
38763,559,484parser
56676,826,426rubocop
308159,217,726colorize
50698,411,109cucumber
59288,005,577test-unit
30,27945,401help_parser

Owners

#GravatarHandle
1iconcarlosjhr64