idea for a small project

Stream: general

[Johan Commelin]

Several people have been asking what to do after NNG. One possibility would be Lagrange interpolations: https://en.wikipedia.org/wiki/Lagrange_polynomial
Probably relevant: https://github.com/leanprover-community/mathlib/blob/master/src/linear_algebra/nonsingular_inverse.lean

[Reid Barton]

This would be quite useful in cryptography.

[Johan Commelin]

Besides Lagrange interpolation #2600, another project that someone could dive into is linear programming #2601.

[Johan Commelin]

Anyone interested in finding a first project could take a look at the issues/PRs labeled 'easy' and/or 'please adopt'. For almost all of them, there will be an experienced contributor willing to coach you along.