Lean 4(元)编程 Cookbook

添加章节🔗

一级小节使用 #,如下所示。每个章节应从明确的问题陈述和解决办法概览开始,本节的写法就是一个例子。

内容内部可以用 ## 组织二级小节。用 * 标记强调文字,例如 这样

  1. 元数据与标签