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,796 of 196,338
Downloads: 23,618

Daily

Ranking: 51,088 of 196,320
Downloads: 0

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
36831,209,361parser
57737,392,019rubocop
322166,827,955colorize
517103,229,563cucumber
55296,287,721test-unit
30,33347,585help_parser

Owners

#GravatarHandle
1iconcarlosjhr64