Offline API reference

Stream: general

[Moritz Doll]

Is there a sensible way to download the API documentation (i.e., not just crawling through the html)?

[Johan Commelin]

Is this what you want? https://github.com/leanprover-community/mathlib_docs/tree/master/docs

[Matthew Ballard]

Curious, does anyone use Dash for Lean?