The following repository contains formal proof for the existence of a winning strategy in a Nim game using Coq Proof Assistant.
Refer to "https://en.wikipedia.org/wiki/Nim#Proof_of_the_winning_formula" for the winning strategy information.
-
Notifications
You must be signed in to change notification settings - Fork 0
D-2n/Nim-game-winning-strategy
About
Formal proof for the existence of a winning strategy in a Nim game using Coq Proof Assistant
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published