-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Deferred: reuse Mathlib and CSLib in two written chapters
laterDeferred; not in scope for the chapters now plannedDeferred; not in scope for the chapters now plannedStatus: Open.#20 In cslib-community/CSwL;Adopt a proofreading pass with a rejection ledger
infrastructureBuild, Verso extensions, generation, CIBuild, Verso extensions, generation, CIlaterDeferred; not in scope for the chapters now plannedDeferred; not in scope for the chapters now plannedStatus: Open.#19 In cslib-community/CSwL;CI to sync the
studentvariant toemap-nlp/bookinfrastructureBuild, Verso extensions, generation, CIBuild, Verso extensions, generation, CIStatus: Open.#18 In cslib-community/CSwL;Understand the autograder before committing to it
infrastructureBuild, Verso extensions, generation, CIBuild, Verso extensions, generation, CIresearchNeeds investigation before it can be scopedNeeds investigation before it can be scopedStatus: Open.#17 In cslib-community/CSwL;Two treatments of
∘inIntroL.leangood first issueGood for newcomersGood for newcomersstyleConformance with STYLE-CODE.md or STYLE-WRITING.mdConformance with STYLE-CODE.md or STYLE-WRITING.mdStatus: Open.#16 In cslib-community/CSwL;ModelChecking.leandoes not existcontentThe book's content: chapters, sections, exercisesThe book's content: chapters, sections, exercisescontent-organizationMoving material: chapter/section order, promotions, splitsMoving material: chapter/section order, promotions, splitsStatus: Open.#15 In cslib-community/CSwL;The inference engine's interactive loop is not ported
contentThe book's content: chapters, sections, exercisesThe book's content: chapters, sections, exercisesneeds-decisionBlocked on an author decision, not on workBlocked on an author decision, not on workStatus: Open.#14 In cslib-community/CSwL;Exercises asking "which of these are satisfiable / valid?"
contentThe book's content: chapters, sections, exercisesThe book's content: chapters, sections, exercisesneeds-decisionBlocked on an author decision, not on workBlocked on an author decision, not on workStatus: Open.#13 In cslib-community/CSwL;The new chapter order: remove Mastermind, move Morphology and SeaBattle
content-organizationMoving material: chapter/section order, promotions, splitsMoving material: chapter/section order, promotions, splitsneeds-decisionBlocked on an author decision, not on workBlocked on an author decision, not on workStatus: Open.#12 In cslib-community/CSwL;Split chapters into section files in the generated Lean
infrastructureBuild, Verso extensions, generation, CIBuild, Verso extensions, generation, CIneeds-decisionBlocked on an author decision, not on workBlocked on an author decision, not on workStatus: Open.#11 In cslib-community/CSwL;Regenerate the
STYLE-CODE.mdfirst-use ledgerblockedWaiting on another issueWaiting on another issuechoreMechanical upkeepMechanical upkeepStatus: Open.#10 In cslib-community/CSwL;Narrow
IntroL.leanto Lean as a programming languagecontent-organizationMoving material: chapter/section order, promotions, splitsMoving material: chapter/section order, promotions, splitsStatus: Open.#9 In cslib-community/CSwL;