A general proof checker. Works with [neovim](https://github.com/neovim/neovim).
Required Ruby Version
>= 0
Authors
CarlosJHR64
Versions
- 2.0.231231 December 31, 2023 (12.5 KB)
- 1.6.210409 April 09, 2021 (10 KB)
- 1.6.210407 April 07, 2021 (10 KB)
- 1.5.210331 March 31, 2021 (9.5 KB)
- 1.5.210328 March 28, 2021 (9.5 KB)
Requirements
git: 2.30
neovim-ruby-host: 0.9
nvim: 0.9
ruby: 3.3
xdg-open: 1.1
