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: 49,932 of 183,539
Downloads: 20,261

Daily

Ranking: 80,049 of 183,521
Downloads: 1

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
51535,387,217parser
62483,877,017rubocop
271136,124,059colorize
45980,951,282cucumber
64867,281,462test-unit
29,51440,660help_parser

Owners

#GravatarHandle
1iconcarlosjhr64