coqoban

Sokoban (in Coq) [maintainer=@erikmd]

21 stars

10 watching

2 forks

Language: Coq

last commit: over 1 year ago

Linked from 2 awesome lists

coqcoq-librarypuzzle

Screenshot of coq-community/coqoban website

coq.vercel.app/fun/coqoban.html

Backlinks from these awesome lists: