Repository Issue Activity (beta)

#517 Some exercises are false as formalized (with counterexamples + suggested fixes)

#507 Please address what is Analysis I on readme, thx

#499 Incomplete assumption in Section 5 Epilogue?

#494 Proposal: finite fiber-average conditional expectation API

#492 Potential typo in Section 6.3?

#347 Difficulties in rendering the Verso book sections

#277 Impossible to access Appendix A sections from the list present on the main page

#274 听说你是实际上智商最高的人

#215 Broken docs?

#208 Non-exercise `sorry`s?

#204 Problem with `Sequence.mul_equiv_left`

#136 Are examples differently numbered between Third and Fourth editions?

#105 Docgen source points to wrong directory

#103 Appendix Verso links do not exist

#78 First time build of the project fails, gives git error

#66 Mathlib-compliant line length

#64 Cannot add Section 7.1 to Analysis Book

#61 le.dec should be Nat.le.dec

#58 `lt_iff_le_not_le` in Section_2_2.lean should be `lt_iff_le_not_ge`

#33 Adding new sections to AnalysisBook breaks the build

#37 `Chapter5.DedekindCut`: `E` should not contain a "greatest element"

#16 Need CI checks for PRs

#20 Feedback for section 4.1

#5 Document generation is broken

#4 Please add a license to this repo