从无法访问的项目Fork
前往新版Gitcode,体验更适合开发者的 AI 搜索 >>
Anchor link for Isabelle/HOL was not working when viewing the Github parsed file.