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: Aug 03 2023 at 10:10 UTC