PrototypeCommune
TwoFX/sudoku
A sudoku game where you have to prove that your deductions are valid
Archivé : ce dépôt n’évolue plus
- Propriétaire
- TwoFX (compte personnel)
- Étoiles
- Étoiles : 120
- Forks
- Forks : 8
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- avigad/lamrÉtoiles : 120LeanPrototype
- google-deepmind/debateÉtoiles : 120LeanPrototype
- leanprover/LNSymÉtoiles : 120LeanPrototype
- leanprover-community/duperÉtoiles : 119LeanPrototype