Stream: Miscellaneous

Topic: GitHub markdown supports LaTeX math expressions


view this post on Zulip Théo Zimmermann (Aug 24 2022 at 21:02):

This may be of interest to some Coq users: https://github.blog/changelog/2022-05-19-render-mathematical-expressions-in-markdown/


Last updated: Jan 29 2023 at 19:02 UTC