-
Notifications
You must be signed in to change notification settings - Fork 82
Pull requests: leanprover-community/lean4game
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
doc: clarify when to use strict hints
#505
opened Apr 21, 2026 by
JadAbouHawili
Contributor
Loading…
fix: store world intro being read in game progress
#502
opened Apr 21, 2026 by
joneugster
Collaborator
Loading…
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…
fix: pass difficulty and inventory to server
#441
opened Jan 8, 2026 by
joneugster
Collaborator
Loading…
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…
Increase severity of
uses 'sorry'. Fixes #276
#305
opened Feb 26, 2025 by
tautastic
Contributor
Loading…
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.