fix: LLM-generated can be added with comments#855

grunweg merged 1 commit into

leanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

SnirBroshi:patch-4SnirBroshi/leanprover-community.github.io:patch-4Copy head branch name to clipboard