Lean 4（元）编程 Cookbook
Lean 4（元）编程 Cookbook
Table of Contents
什么是元编程？
使用信息视图
语法与宏
使用表达式
精译（elaboration）：扩展语法
策略
维护状态
I/O 与进程
文件系统
数据结构
索引
如何编写配方
Cookbook 贡献者
文件系统
从文件读取
写入文件
创建目录
列出目录
删除文件或目录
读取与设置文件权限
处理 JSONL 文件
其他文件系统操作
读取与设置文件权限
设置文件权限
读取文件权限
←
删除文件或目录
设置文件权限
→
读取与设置文件权限
🔗
贡献者：
Anirudh Gupta
,
subfish-zhou
设置文件权限
读取文件权限
←
删除文件或目录
设置文件权限
→
