Ruimin
1
Hi,
We’ve developed an app to help train you / your students in doing proofs in Coq.
All feedback will be most appreciated (you can leave them in-app or on this page).
1 Like
This is not obvious in this announcement but one can also try out the game directly on the web: https://mathproofs.cues.sg/
2 Likes