天泣記

2023-01-29 (Sun)

#1 coq pull request

GitHub coq/coq/pull/17185: Move Formal Description of Section Mechanism.

[latest]