Skip to content

Pull requests: ImperialCollegeLondon/natural_number_game

New pull request New
9 Open 38 Closed
9 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

nicer proof for level13.lean
#132 opened Dec 18, 2023 by abourque72 Loading…
Update level1.lean
#130 opened Sep 12, 2023 by abuseofnotation Loading…
Fix missing word in intro.lean
#128 opened Jul 4, 2023 by vezwork Loading…
Added german translation
#119 opened Nov 25, 2021 by Lelidle Loading…
Fix typo in world5, level6
#115 opened Sep 16, 2021 by gruhn Loading…
Update level1.lean
#109 opened Jan 18, 2021 by vihdzp Loading…
Tutorial world fully translated to French
#95 opened Jun 21, 2020 by ADedecker Loading…
Reuse the proof from the solution to level 16
#93 opened Jun 8, 2020 by eric-wieser Loading…
World 10, level 16: Simplify the proof even further, using an earlier result
#92 opened Jun 8, 2020 by eric-wieser Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.