Skip to main content

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

Learning does not have to hard: games can make it fun and enjoyable.

Related tags: