coq-community / coqoban

Sokoban (in Coq) [maintainer=@erikmd]
21Updated last month

Alternatives and similar repositories for coqoban:

Users that are interested in coqoban are comparing it to the libraries listed below