Proposed StackExchange site for Proof Assistants

The StackExchange site Proof Assistants has been proposed for StackExchange.

There is talk/momentum of allowing topics beyond ITP/ATP.

One post noted a sample question

How can I use a SAT solver to solve a sudoku problem?

As solving sudoku was clearly something Prolog could do, it will be interesting see where they will draw the boundaries.