Skip to content

Pull requests: ImperialCollegeLondon/natural_number_game

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Update level1.lean
#109 opened Jan 18, 2021 by vihdzp
Fix typo in world5, level6
#115 opened Sep 16, 2021 by gruhn
Added german translation
#119 opened Nov 25, 2021 by Lelidle
Fix missing word in intro.lean
#128 opened Jul 4, 2023 by vezwork
Update level1.lean
#130 opened Sep 12, 2023 by abuseofnotation
nicer proof for level13.lean
#132 opened Dec 18, 2023 by abourque72
ProTip! no:milestone will show everything without a milestone.