docs.rs for lean?

Stream: general

[Alok Singh]

The integrated nature of rustdoc is really nice and lean is most of the way there with doc comments and doc gen, but it still requires running your own HTTP server and is not as seamless as docs.rs. Lean has reservoir, and docs seem a natural next step. are there any plans for this?

[Kim Morrison]

Yes, definitely. David Thrane Christiansen is working on Verso now as a general purpose documentation writing tool, and in particular he is very busily writing the Lean reference manual. Once that it is out, amongst his many other plans is to give everyone the tools to make and publish beautiful docs. :-) We definitely want central hosting of docs for everything.