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,580 of 186,715
Downloads: 21,020

Daily

Ranking: 48,078 of 186,700
Downloads: 11

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
42659,371,641parser
57589,104,400rubocop
291148,738,750colorize
48790,620,762cucumber
65577,802,341test-unit
30,17042,059help_parser

Owners

#GravatarHandle
1iconcarlosjhr64