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,337 of 192,505
Downloads: 23,072

Daily

Ranking: 23,650 of 192,483
Downloads: 16

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
38772,642,398parser
56684,890,455rubocop
311160,237,872colorize
50699,074,878cucumber
58988,830,817test-unit
30,38845,597help_parser

Owners

#GravatarHandle
1iconcarlosjhr64