天泣記

2020-09-30 (Wed)

#1 coq pull request

GitHub coq/coq/pull/13111: Small document fixes.

[latest]