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,720 of 195,762
Downloads: 23,553

Daily

Ranking: 39,648 of 195,747
Downloads: 6

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
37820,742,627parser
57728,179,197rubocop
320165,638,630colorize
514102,566,630cucumber
55494,811,269test-unit
30,44547,024help_parser

Owners

#GravatarHandle
1iconcarlosjhr64