Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:video_game
|
| gptkbp:affiliatedWith |
gptkb:Imperial_College_London
|
| gptkbp:category |
mathematics education
proof assistant tutorial |
| gptkbp:developedBy |
gptkb:Kevin_Buzzard
|
| gptkbp:focusesOn |
natural numbers
proof techniques |
| https://www.w3.org/2000/01/rdf-schema#label |
Natural Number Game
|
| gptkbp:language |
gptkb:Lean
|
| gptkbp:openSource |
true
|
| gptkbp:platform |
web-based
|
| gptkbp:releaseYear |
2019
|
| gptkbp:targetAudience |
gptkb:mathematician
students |
| gptkbp:teaches |
gptkb:logic
gptkb:Lean_theorem_prover |
| gptkbp:uses |
interactive exercises
|
| gptkbp:website |
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
|
| gptkbp:bfsParent |
gptkb:Lean_community
|
| gptkbp:bfsLayer |
7
|