-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
[Track A] Prove RowOp.applyList_singleton in UlamLib/LinearAlgebra/RowOp.lean
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersleanLean code changesLean code changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-aTrack A: finite-dimensional linear algebraTrack A: finite-dimensional linear algebraStatus: Open.[Track A] Split the declaration blueprint in notes/RowReduction.tex by submodule
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersnotesBlueprint note changesBlueprint note changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-aTrack A: finite-dimensional linear algebraTrack A: finite-dimensional linear algebraStatus: Open.[Track C] Add a tiny applications subsection to notes/StoneWeierstrassC0.tex
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersnotesBlueprint note changesBlueprint note changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-cTrack C: Stone-Weierstrass for C0Track C: Stone-Weierstrass for C0Status: Open.[Track C] Split the declaration blueprint in notes/StoneWeierstrassC0.tex by submodule
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersnotesBlueprint note changesBlueprint note changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-cTrack C: Stone-Weierstrass for C0Track C: Stone-Weierstrass for C0Status: Open.[Track B] Add IntegralCurveExtension.restrict in UlamLib/ODE/Extendability.lean
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersleanLean code changesLean code changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-bTrack B: global ODE and flow layerTrack B: global ODE and flow layerStatus: Open.[Track C] Add one more tiny helper in UlamLib/Analysis/StoneWeierstrassC0/Defs.lean
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersleanLean code changesLean code changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-cTrack C: Stone-Weierstrass for C0Track C: Stone-Weierstrass for C0Status: Open.[Track A] Add a small PivotData helper in UlamLib/LinearAlgebra/Echelon.lean
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersleanLean code changesLean code changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-aTrack A: finite-dimensional linear algebraTrack A: finite-dimensional linear algebraStatus: Open.[Track B] Add self-extension lemmas in UlamLib/ODE/Extendability.lean
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersleanLean code changesLean code changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-bTrack B: global ODE and flow layerTrack B: global ODE and flow layerStatus: Open.[Track A] Tighten one section of notes/RowReduction.tex
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersnotesBlueprint note changesBlueprint note changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-aTrack A: finite-dimensional linear algebraTrack A: finite-dimensional linear algebraStatus: Open.[Track A] Prove RowOp.applyList_append in UlamLib/LinearAlgebra/RowOp.lean
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersleanLean code changesLean code changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-aTrack A: finite-dimensional linear algebraTrack A: finite-dimensional linear algebraStatus: Open.[Track C] Tighten one section of notes/StoneWeierstrassC0.tex
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersnotesBlueprint note changesBlueprint note changesstarterSuitable for a first or second contributionSuitable for a first or second contributiontrack-cTrack C: Stone-Weierstrass for C0Track C: Stone-Weierstrass for C0Status: Open.