leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: general

Topic: doc preview page


Rob Lewis (May 26 2020 at 12:27):

@Bryan Gin-ge Chen had a nice page for previewing markdown comments in PRs, but I can't find it linked from the website. What was the URL and where should we add a link? (Or is it there and I'm just missing it?)

Sebastien Gouezel (May 26 2020 at 12:41):

https://observablehq.com/@bryangingechen/github-lean-doc-preview


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll