https://github.com/thery/sudoku

Sudoku in Coq
https://github.com/thery/sudoku

coq coq-formalization javascript sudoku theorem-proving

Last synced: 3 months ago
JSON representation

Sudoku in Coq

• Host: GitHub
• URL: https://github.com/thery/sudoku
• Owner: thery
• Archived: true
• Created: 2019-02-23T13:29:28.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2021-08-17T14:13:26.000Z (over 3 years ago)
• Last Synced: 2024-07-29T17:45:01.860Z (6 months ago)
• Topics: coq, coq-formalization, javascript, sudoku, theorem-proving
• Language: Coq
• Size: 137 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project