Sign in Sign up
rubygems

korekto

A general proof checker. Works with [neovim](https://github.com/neovim/neovim).

rubygems View on Rubygems

Activity

Latest release
2y ago
Total releases
12
Cadence
~3 days
Last 12 months
0

Details

License
MIT
First release
Mar 06, 2021
Releases
Version Released
2.0.231231 major
1.6.210409 patch
1.6.210407 minor
1.5.210331 patch
1.5.210328 minor
1.4.210326 patch
1.4.210318 minor
1.3.210316 minor
1.2.210314 minor
1.1.210313 minor
1.0.210310 patch
1.0.210306 initial