Zulip Chat Archive

Stream: new members

Topic: reference manual


view this post on Zulip Alexandre Rademaker (Sep 30 2019 at 16:18):

what is the repository of the reference manual source files? I found some typos in the https://leanprover.github.io/reference/tactics.html#basic-tactics and I would like to make some suggestions.

view this post on Zulip Bryan Gin-ge Chen (Sep 30 2019 at 16:22):

Here, possibly: https://github.com/avigad/reference

view this post on Zulip Alexandre Rademaker (Sep 30 2019 at 17:35):

Thank you @Bryan Gin-ge Chen , I made a PR but this is actually a fork from another repo. Let us see which one is the 'official'.


Last updated: May 11 2021 at 21:10 UTC