Skip to content

Issues: ImperialCollegeLondon/natural_number_game

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

32 Open 54 Closed
32 Open 54 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

'generalizing' is locked at the level it is being introduced.
#133 opened Feb 9, 2024 by baranzadeoglu
Tutorial world, Level 4, one single "refl," causes "Proof complete!"
#131 opened Oct 10, 2023 by liusida
unknown identifier 'not_iff_imp_false' error on Level 15 in the Inequality world
#129 opened Jul 18, 2023 by roozbeh-yz
Advanced Addition World - Level 10 and 11
#126 opened Jan 26, 2023 by miguel-negrao
2
recursion break
#125 opened Aug 29, 2022 by orhid
2
Some Complaints
#124 opened Aug 15, 2022 by EnderGZM
1
A typo in "Advanced Addition World Level 5" (inconsistent variable name)
#123 opened May 15, 2022 by Kaiwen-S
Minor typo in World 10 Lvl 1
#121 opened Jan 1, 2022 by milescalabresi
"What next?" page
#118 opened Oct 14, 2021 by jcommelin
A motley collection of Corrections, Complaints and (Curious) Suggestions
#114 opened Jul 2, 2021 by ghost
reward for finishing
#112 opened May 21, 2021 by kbuzzard
inductive le world?
#111 opened Mar 3, 2021 by kbuzzard
nth_rewrite
#110 opened Feb 10, 2021 by kbuzzard
save your game
#108 opened Dec 29, 2020 by kbuzzard
Explain 'B_of_A' naming convention for implications 'A->B'
#107 opened Nov 26, 2020 by davidblitz
1
typo in multn world 1/9
#106 opened Nov 26, 2020 by kbuzzard
Unable to use and_symm theorem in World 7, Level 3
#105 opened Nov 3, 2020 by Gunjeet-Singh
How to apply Leibniz's law for equality?
#103 opened Oct 2, 2020 by darijgr
3
Undocumented implicit variables in Advanced Addition World
#102 opened Oct 2, 2020 by darijgr
Add ability to toggle between rendered view and literal lean
#101 opened Aug 27, 2020 by al-yisun
Some solutions use assumption which isn't mentioned in the text
#99 opened Aug 16, 2020 by Julian
Mark things as irreducible?
#98 opened Jul 15, 2020 by shingtaklam1324
fold away hints
#97 opened Jul 15, 2020 by kbuzzard
Typo in world 3 level 1
#96 opened Jul 7, 2020 by baldoalessandro
world 7 level 8 "did you spot the import?"
#94 opened Jun 14, 2020 by kbuzzard
ProTip! Find all open issues with in progress development work with linked:pr.