前往新版Gitcode,体验更适合开发者的 AI 搜索 >>
These generated files were added in https://github.com/coq/coq/pull/745