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: 51,032 of 197,258
Downloads: 23,738

Daily

Ranking: 56,448 of 197,235
Downloads: 1

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
36853,687,539parser
55757,493,707rubocop
324169,494,656colorize
522104,541,732cucumber
54499,653,441test-unit
29,98148,903help_parser

Owners

#GravatarHandle
1iconcarlosjhr64