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

Required Ruby Version

>= 0

Authors

CarlosJHR64

Versions

  1. 2.0.231231

    1. source

      1. 2.0.231231 source December 31, 2023 (12.5 KB)
  2. 1.6.210409

    1. source

      1. 1.6.210409 source April 09, 2021 (10 KB)
  3. 1.6.210407

    1. source

      1. 1.6.210407 source April 07, 2021 (10 KB)
  4. 1.5.210331

    1. source

      1. 1.5.210331 source March 31, 2021 (9.5 KB)
  5. 1.5.210328

    1. source

      1. 1.5.210328 source March 28, 2021 (9.5 KB)
Show all versions (13 total)

Requirements

git: 2.30

neovim-ruby-host: 0.9

nvim: 0.9

ruby: 3.3

xdg-open: 1.1

Pushed by

carlosjhr64

SHA 256 checksum

← Previous version