Lean 4(元)编程 Cookbook

贡献者区块🔗

每个页面顶部都应在 #doc (Manual) "标题" => 和元数据之后放置贡献者区块。贡献者信息由 git 自动读取,不需要手工填写。哪些贡献会进入页面署名,见 Cookbook 配方指南

每页只添加一次:

::: contributors
:::

Verso 对 ::: 区块的位置有严格要求:它不能放在 %%% 元数据之前。如果 #doc 后面紧接元数据,贡献者区块必须放在元数据之后。已有配方可以作为参考。