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,096 of 180,702
Downloads: 19,186

Daily

Ranking: 103,205 of 180,689
Downloads: 1

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
54460,588,134parser
68420,205,956rubocop
255125,547,812colorize
44074,227,359cucumber
63659,937,193test-unit
29,33838,730help_parser

Owners

#GravatarHandle
1iconcarlosjhr64