Repository navigation

All pull requests

Labels (23)Milestones (0)New pull request

fix(client): fix progress download, upload, and completion persistence (#538)
#581myersdennis94 opened Oct 20, 2026
1
fix(client): show Lean error messages in typewriter mode
#580fushanbobfan opened Oct 19, 2026Contributor
Fix rules window layout and overflow
#579k88-b opened Oct 18, 2026Contributor
feat: homepage announcements
#576micuele opened Oct 17, 2026Contributor
fix: importer
#575micuele opened Oct 17, 2026Contributor
fix: display world titles in inventory links
#569skwh54 opened Oct 16, 2026
fix: open the editor on Windows
#567fushanbobfan opened Oct 11, 2026Contributor
feat: add per-game translation fallback
#546micuele opened Aug 30, 2026Contributor
Add Interslavic UI translation
#544TestSubjectJohnDoe opened Aug 25, 2026
9
doc: clarify updating lean4game
#510JadAbouHawili opened Apr 25, 2026Contributor
3
chore: cleanup tsconfig and fix TS errors in relay
#462joneugster opened Mar 7, 2026Collaborator
fix: validate proof state before accepting level completion
#455Ocean-Moist opened Mar 3, 2026
1
fix: pass difficulty and inventory to server
#441joneugster opened Jan 8, 2026Collaborator
Add history navigation to typewriter input
#432414owen opened Dec 27, 2025
4
Feat: Add documentation support with MkDocs i18n
#406RexWzh opened Oct 6, 2025Contributor
feat: Lean4game v2
#310joneugster opened Mar 6, 2025Collaborator
Increase severity of uses 'sorry'. Fixes #276
#305tautastic opened Feb 26, 2025Contributor
Work on adding user feedback by opening a github issue from game
#251ndcroos opened Jul 17, 2024
5
fix: better timeouts
#139joneugster opened Oct 27, 2023Collaborator
WIP progress on world overviews
#129joneugster opened Oct 23, 2023Collaborator