1. 32
  1.  

  2. 3

    Always funny to see things pop up from random people one knows from way back.

    And this is a great idea as well, I love it! Formalizing some sudoku logic is a great exercise in writing tactics.

    1. 1

      This is very cool! Related is a sudoku solver proven in Coq https://github.com/coq-community/sudoku