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,027 of 187,571
Downloads: 22,005

Daily

Ranking: 21,998 of 187,548
Downloads: 20

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
40689,701,321parser
57613,192,940rubocop
296151,616,517colorize
48992,908,648cucumber
64480,222,187test-unit
30,10043,376help_parser

Owners

#GravatarHandle
1iconcarlosjhr64