A simple introduction to PRISM-Games and a model checker for the NIM Game
This repository is not active