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,038 of 189,654
Downloads: 22,630

Daily

Ranking: 57,531 of 189,628
Downloads: 1

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
39734,992,585parser
56651,086,082rubocop
305156,403,606colorize
50296,406,824cucumber
61884,724,744test-unit
30,11744,683help_parser

Owners

#GravatarHandle
1iconcarlosjhr64