This may be of interest to some Coq users: https://github.blog/changelog/2022-05-19-render-mathematical-expressions-in-markdown/
Last updated: Mar 28 2024 at 20:01 UTC