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,907 of 183,062
Downloads: 20,135

Daily

Ranking: 105,340 of 183,052
Downloads: 0

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
51524,542,929parser
63474,414,728rubocop
271134,837,027colorize
45579,986,189cucumber
64866,127,757test-unit
29,48440,415help_parser

Owners

#GravatarHandle
1iconcarlosjhr64