coqoban: Sokoban (in Coq) (via gnyeki) — discussion

#formalmethods #games