Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / imperialcollegelondon/natural_number_game issues and pull requests
#35 - Fix typos in level descriptions
Pull Request -
State: closed - Opened by DonaldKellett almost 5 years ago
#34 - Shorter proof of 8-8
Issue -
State: closed - Opened by vvs- almost 5 years ago
- 1 comment
#33 - Joseph Myers comments on v1.09b on my blog
Issue -
State: closed - Opened by kbuzzard almost 5 years ago
- 2 comments
#32 - Ambiguous remark about "rw not applicable"
Issue -
State: closed - Opened by vvs- almost 5 years ago
- 1 comment
#31 - fix typo
Pull Request -
State: closed - Opened by agro1986 almost 5 years ago
- 1 comment
#30 - Create LICENSE
Pull Request -
State: closed - Opened by kbuzzard almost 5 years ago
#29 - Typo fix in level 7 in advanced prop world
Pull Request -
State: closed - Opened by b-mehta about 5 years ago
- 1 comment
#28 - Premature level complete status
Issue -
State: closed - Opened by vvs- about 5 years ago
- 4 comments
Labels: bug
#27 - advanced addition/multn/inequality world
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 1 comment
#26 - more proposition world
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 3 comments
#25 - worlds no longer have numbers
Issue -
State: closed - Opened by kbuzzard about 5 years ago
#24 - function world level 2
Issue -
State: closed - Opened by kbuzzard about 5 years ago
#23 - Check last-level descriptions
Issue -
State: closed - Opened by kbuzzard about 5 years ago
#22 - our non-linear world stuff overlaps
Issue -
State: closed - Opened by kbuzzard about 5 years ago
#21 - add config file and intro page
Pull Request -
State: closed - Opened by mpedramfar about 5 years ago
#20 - fix(src/game/world3/level5): remove proof fragment
Pull Request -
State: closed - Opened by bryangingechen about 5 years ago
- 1 comment
#19 - fix(game/world1/level4): matching $$
Pull Request -
State: closed - Opened by bryangingechen about 5 years ago
- 2 comments
#18 - Level 5.1 seems to have broken markup
Issue -
State: closed - Opened by giomasce about 5 years ago
- 1 comment
#17 - fix typo
Pull Request -
State: closed - Opened by kckennylau about 5 years ago
- 1 comment
#16 - 3-11 issue
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 1 comment
#15 - Fixed some typos in World 3.
Pull Request -
State: closed - Opened by shamp00 about 5 years ago
- 1 comment
#14 - mention that it works best in Chrome
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 2 comments
#13 - Typos and fixups
Pull Request -
State: closed - Opened by b-mehta about 5 years ago
- 2 comments
#12 - typo
Issue -
State: closed - Opened by thosgood about 5 years ago
- 1 comment
#11 - Fix typo.
Pull Request -
State: closed - Opened by ghost about 5 years ago
- 2 comments
#10 - symmetry' at
Issue -
State: closed - Opened by kbuzzard about 5 years ago
#9 - add documentation for `have`
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 1 comment
#8 - world 3 reordering
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 2 comments
#7 - playing the game on CoCalc
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 1 comment
#6 - world 5 is <=.
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 6 comments
#5 - world 4
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 1 comment
#4 - world 3
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 1 comment
#3 - missing tactics
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 2 comments
#2 - Add game files
Pull Request -
State: closed - Opened by mpedramfar about 5 years ago
#1 - some tactics need modifying
Issue -
State: closed - Opened by kbuzzard over 5 years ago
- 2 comments