Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

TwoFX/sudoku

A sudoku game where you have to prove that your deductions are valid

Archived: this repository is read-only

Owner: TwoFX (personal account)
Stars: Stars: 120
Forks: Forks: 8
Language: Lean
License: Apache-2.0
Created: 2020
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in Lean

rami3l/PLFaLeanStars: 120LeanPrototype
google-deepmind/debateStars: 120LeanPrototype
leanprover/LNSymStars: 120LeanPrototype