Proofdoku

Это похоже на судоку, но вместо того, чтобы решать головоломку, расставляя числа, игроку предоставляется полностью решенная головоломка, и он должен доказать решение. Игроки выбирают одну ячейку для доказательства из завершенной головоломки, затем выбирают другие ячейки в качестве доказательства, подтверждающего их первоначальный выбор. Программа узнает, как только будет найдено достаточно доказательств, и игроку будет предложено зафиксировать этот ответ и перейти к другой ячейке. Цель состоит в том, чтобы решить головоломку, используя как можно меньше доказательств, и посмотреть, сможете ли вы закончить, используя меньше доказательств, чем это делает логическая компьютерная программа.