Sign in
Rare find
proofsweeper.
Play Minesweeper by formally proving your moves in Idris
github.com/A1kmm/proofsweeper
by
@A1kmm
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
