Stream: new members
Topic: Analysis tools
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.
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?
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