Analysis tools

Stream: new members

[Daniel Keys]

While progress with LEAN seems to be painstakingly slow, I am looking for advice on how to get started with the analysis tools in mathlib, which I have recently installed. Eventually my plan is to build something geared toward numerical analysis. Any open source, basic analysis, examples in the community? I did see a small sample on the mathlib GitHub page.

[Patrick Massot]

Did you see everything there is in https://github.com/leanprover-community/mathlib/tree/master/src/analysis?

[Daniel Keys]

Actually no, that's the kind of information I was asking for.