Home / Ada/SPARK / mine-detector mine-detector A mine-finding game that never requires guessing. Package 4 stars GitHub Back to Ada/SPARK