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,342 of 193,154
Downloads: 23,242

Daily

Ranking: 59,598 of 193,130
Downloads: 5

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
37784,092,337parser
56695,143,792rubocop
313161,479,725colorize
50999,897,015cucumber
58689,867,846test-unit
30,38345,964help_parser

Owners

#GravatarHandle
1iconcarlosjhr64