Zulip Chat Archive

Stream: general

Topic: Sokoban using JSCoq


Patrick Massot (May 01 2022 at 17:13):

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 (May 01 2022 at 17:16):

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


Last updated: Dec 20 2023 at 11:08 UTC