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,072 of 187,224
Downloads: 21,834

Daily

Ranking: 28,617 of 187,196
Downloads: 33

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
41679,267,263parser
57604,163,981rubocop
294150,619,818colorize
48792,125,196cucumber
64979,381,283test-unit
30,06743,143help_parser

Owners

#GravatarHandle
1iconcarlosjhr64