https://github.com/mbrcknl/puzzle-parity-permutations

Schrödinger's hats: a puzzle about parities and permutations
https://github.com/mbrcknl/puzzle-parity-permutations

formal-methods puzzle theorem-proving

Last synced: 18 days ago
JSON representation

Schrödinger's hats: a puzzle about parities and permutations

• Host: GitHub
• URL: https://github.com/mbrcknl/puzzle-parity-permutations
• Owner: mbrcknl
• Created: 2016-04-13T22:16:21.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-05-10T22:10:14.000Z (over 7 years ago)
• Last Synced: 2023-07-10T08:35:30.450Z (over 1 year ago)
• Topics: formal-methods, puzzle, theorem-proving
• Language: Isabelle
• Homepage:
• Size: 12.3 MB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project