天泣記

2023-07-08 (Sat)

#1 Coq pull request

GitHub coq/coq/pull/17831: Avoid unicode subscripts in document

[latest]