Sokoban using JSCoq

Stream: general

[Patrick Massot]

https://coq-p-wr.vercel.app/scratchpad.html?share=hb-aqonifatos has a cool demo of playing Sokoban in the javascript version of Coq. Remember that in Coq moving the cursor around is not enough to get anything checked, you need to use the big green arrows in the top-right corner.

[Patrick Massot]

Remember the Lean version is at https://github.com/mirefek/sokoban.lean