GitHub - RuFerdZ/Snakes-and-Ladders: 🪜 B Specification Program for snakes and ladders game as a part of 6SENG001W Reasoning About Programs Coursework 02 (2021/22) 🐍

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
6SENG001W_SnakesLadders_CW2_2021-22_21-11-19.pdf		6SENG001W_SnakesLadders_CW2_2021-22_21-11-19.pdf
Snakes_and_Ladders.dot		Snakes_and_Ladders.dot
Snakes_and_Ladders.mch		Snakes_and_Ladders.mch
w1714943 - Atelier B - Type Check.jpg		w1714943 - Atelier B - Type Check.jpg
w1714943 - Pre-condition analysis proof outline .txt		w1714943 - Pre-condition analysis proof outline .txt
w1714943 - Structure Diagram.pdf		w1714943 - Structure Diagram.pdf
w1714943 - While program model.txt		w1714943 - While program model.txt