Skip to content

Pull requests: leanprover-community/lean4game

New pull request New
17 Open 186 Closed
17 Open 186 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add Russian UI translation
#541 opened Aug 24, 2026 by k88-b Loading…
fix: support intentional empty game translations
#540 opened Aug 16, 2026 by micuele Loading…
feat: LevelScope set the scope of the level
#539 opened Aug 11, 2026 by WenrongZou Loading…
feat: Track game activity metadata
#536 opened Jul 3, 2026 by micuele Loading…
7
client: fix i18next config to generate i18n data correctly
#511 opened Apr 27, 2026 by virusbb001 Contributor Loading…
2
doc: clarify updating lean4game
#510 opened Apr 25, 2026 by JadAbouHawili Contributor Loading…
3
Refactor: eliminate old infoview implementations
#492 opened Apr 3, 2026 by joneugster Collaborator • Draft
1 of 7 tasks
chore: cleanup tsconfig and fix TS errors in relay
#462 opened Mar 7, 2026 by joneugster Collaborator Loading…
fix: validate proof state before accepting level completion
#455 opened Mar 3, 2026 by Ocean-Moist Loading…
2
1
fix: pass difficulty and inventory to server
#441 opened Jan 8, 2026 by joneugster Collaborator Loading…
1
Add history navigation to typewriter input feature New feature or request frontend Functionality of the client side code
#432 opened Dec 27, 2025 by 414owen Loading…
4
Feat: Add documentation support with MkDocs i18n
#406 opened Oct 6, 2025 by RexWzh Contributor • Draft
feat: Lean4game v2
#310 opened Mar 6, 2025 by joneugster Collaborator • Draft
Increase severity of uses 'sorry'. Fixes #276
#305 opened Feb 26, 2025 by tautastic Contributor Loading…
1
Work on adding user feedback by opening a github issue from game
#251 opened Jul 17, 2024 by ndcroos • Draft
5
fix: better timeouts abandoned Currently no intention to take this up again
#139 opened Oct 27, 2023 by joneugster Collaborator Loading…
WIP progress on world overviews abandoned Currently no intention to take this up again
#129 opened Oct 23, 2023 by joneugster Collaborator Loading…
ProTip! Exclude everything labeled bug with -label:bug.