Add rewrite rules to Coq #18038
Merged
Add rewrite rules to Coq #18038
coqbot-app / GitLab CI job plugin:ci-lean_importer (pull request)
succeeded
Feb 20, 2024 in 0s