search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
137 stars 31 forks source link

[petanque] Initial commit, as an OCaml library #703

Closed ejgallego closed 2 months ago

ejgallego commented 2 months ago

This is the first version of petanque, suitable for merging.

TODO before merging:

Alizter commented 2 months ago

What exactly is it? I read the README but I didn't understand anything.

ejgallego commented 2 months ago

What exactly is it? I read the README but I didn't understand anything.

This is a start of a RL agent for Coq, on top of Flèche, indeed, we need to improve the docs a lot, but for now this is just the first step.

Thanks for checking the README, should be better now and contain a link to Gym in python