1. 9
    Proofsweeper: Play Minesweeper by formally proving your moves in Idris formalmethods github.com
    kel avatar via kel 8 months ago | cached | no comments

  1.