天泣記

2023-06-30 (Fri)

#1 Coq pull request

GitHub coq/coq/pull/17793: Markup EQ as code.

[latest]