Stream: new members
Topic: reference manual
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.
Bryan Gin-ge Chen (Sep 30 2019 at 16:22):
Here, possibly: https://github.com/avigad/reference
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