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: 51,276 of 198,547
Downloads: 23,838

Daily

Ranking: 42,707 of 198,526
Downloads: 6

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
36875,195,474parser
55776,986,331rubocop
328171,882,727colorize
528105,814,898cucumber
545101,227,562test-unit
30,12349,160help_parser

Owners

#GravatarHandle
1iconcarlosjhr64