TwoFX/sudoku TwoFX/sudoku

  • Stars
    star
    88
  • Rank 374,364 (Top 8 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created about 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TwoFX/sudoku
github

TwoFX

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

lean-homological-algebra

Lean formalizations of things loosely related to homological algebra
Lean
6
star
2

EZKey

A C#.NET/WPF application for live streamers of real time strategy games to visualize their keyboard usage
C#
5
star
3

HuffmanEncoding

Huffman Encoding in C#
C#
4
star
4

Morris

.NET GUI for Nine Men's Morris
C#
2
star
5

Malom2Morris

Dieses Repository enthält eine modifizierte Version des Quellcodes von Malom3 sowie die Malom2Morris-Brücke
Visual Basic
2
star
6

Lernzettel

TeX
1
star
7

Abschlussaufgaben-Tests1

Sammlung von Tests für die Abschlussaufgabe, die die gesamte Nutzerinteraktion testen
Java
1
star
8

LLVMTypeID

A convenient way of generating an llvm::Type
C++
1
star
9

aoc2021

C++
1
star
10

lean4-afl

Various scripts and data files I use to test Lean 4 using AFL
C
1
star
11

joules-utils

Custom API for Nightbot
PHP
1
star