天泣記

2020-09-30 (Wed)

#1 coq pull request

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


[latest]


田中哲