Skip to main content

Questions tagged [games]

Games can be used with proof assistants in order to make learning fun and enjoyable.

Filter by
Sorted by
Tagged with
15 votes
4 answers
464 views

What games are there?

A game is a fun interactive tutorial/puzzle/challenge that provides the user with a DAG of definitions, theorem statements, examples, etc. and asks the user to prove all the theorems in this DAG. For ...