Functional Programming

Nim Games with Coq
CSE203 Logic and Proof Final Project - Mathematical proof of the winning strategy of nim game by means of Coq language and formal proof.
Code Slides
Nim Games with Coq