-
Notifications
You must be signed in to change notification settings - Fork 95
Pull requests: jsboige/CoursIA
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs(probas,#3974): Probas/Infer README de-stale Domaines table + corpus counts
#6733
opened Jul 15, 2026 by
jsboige
Owner
Loading…
i18n(lean,#4980): conway_lean/Conway root FR-first sibling pair
#6732
opened Jul 15, 2026 by
jsboige
Owner
Loading…
fix(lean-i18n,#4980): ConeKernel_en decl order to FR canonical (gen_* before separatingFunctional)
#6731
opened Jul 15, 2026 by
jsboige
Owner
Loading…
feat(lean,#6724): add quadrant_cone_agree sub-cell coverage (S3 of P4.4)
#6730
opened Jul 15, 2026 by
jsboige
Owner
Loading…
fix(lean-i18n,#4980): teach check_i18n_siblings.py order-insensitive comparison (OK-REORDERED status)
#6729
opened Jul 15, 2026 by
jsboige
Owner
Loading…
feat(lean-i18n,#6727): check_i18n_siblings order-insensitive OK-REORDERED status
#6728
opened Jul 15, 2026 by
jsboige
Owner
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.