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: - of 0
Downloads: -

Daily

Ranking: - of 0
Downloads: -

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
37801,004,528parser
56710,510,158rubocop
318163,403,039colorize
508101,079,116cucumber
57591,861,559test-unit
30,47046,223help_parser

Owners

#GravatarHandle
1iconcarlosjhr64