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,876 of 196,658
Downloads: 23,663

Daily

Ranking: 19,186 of 196,619
Downloads: 24

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
36842,257,611parser
56747,227,703rubocop
322168,044,252colorize
519103,884,936cucumber
54798,025,447test-unit
30,17648,172help_parser

Owners

#GravatarHandle
1iconcarlosjhr64