Lean 4(元)编程 Cookbook
Lean 4(元)编程 Cookbook
Table of Contents
什么是元编程?
使用信息视图
语法与宏
使用表达式
精译(elaboration):扩展语法
策略
维护状态
I/O 与进程
文件系统
数据结构
索引
如何编写配方
Cookbook 贡献者
Cookbook 贡献者
←
贡献者区块
Cookbook 贡献者
🔗
本书由社区共同维护。感谢每一位贡献者,也希望这些配方能真正帮助 Lean 社区。以下名单按字母顺序排列。
贡献者:
Ajay Kumar Nair
,
ajay-k-nair
,
Anirudh Gupta
,
David Thrane Christiansen
,
Siddhartha Gadgil
,
subfish-zhou
,
swarnava1207
←
贡献者区块