-
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
Cross-references to exercises are not possible
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.#24 In cslib-community/CSwL;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;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;Lean features used without being presented
styleConformance with STYLE-CODE.md or STYLE-WRITING.mdConformance with STYLE-CODE.md or STYLE-WRITING.mdStatus: Open.#7 In cslib-community/CSwL;A reading pass for prose that explains the book against its source
choreMechanical upkeepMechanical upkeepstyleConformance with STYLE-CODE.md or STYLE-WRITING.mdConformance with STYLE-CODE.md or STYLE-WRITING.mdStatus: Open.#6 In cslib-community/CSwL;Two paragraphs defend an editorial choice in the book's prose
styleConformance with STYLE-CODE.md or STYLE-WRITING.mdConformance with STYLE-CODE.md or STYLE-WRITING.mdStatus: Open.#5 In cslib-community/CSwL;- Status: Open.#1 In cslib-community/CSwL;