Zulip Chat Archive

Stream: new members

Topic: Analysis tools


view this post on Zulip Daniel Keys (Jan 23 2020 at 16:11):

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.

view this post on Zulip Patrick Massot (Jan 23 2020 at 16:44):

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

view this post on Zulip Daniel Keys (Jan 23 2020 at 17:51):

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


Last updated: May 10 2021 at 18:22 UTC