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: 49,975 of 188,588
Downloads: 22,454

Daily

Ranking: 60,119 of 188,571
Downloads: 3

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
39714,878,663parser
57634,229,695rubocop
300154,300,778colorize
49894,870,773cucumber
62782,718,083test-unit
30,02344,388help_parser

Owners

#GravatarHandle
1iconcarlosjhr64