JSON🔗

Json 是表示结构化数据时使用最广泛的数据格式之一。Lean 4 提供了一个健壮的模块来处理 Json，你可以通过 import Lean.Data.Json 找到它。本章讲述如何在 Lean 中创建、操作并持久化 Json 数据。

配方：

1. 创建 JSON 对象
2. 访问与修改 JSON
3. 读取与写入 JSON 文件
4. 其他 JSON 操作