Lean 4（元）编程 Cookbook

其他 I/O 操作🔗

贡献者：Anirudh Gupta, subfish-zhou

以下是一些可能有用的 I/O 函数。

  1. 获取一个随机数
  2. 终止一个进程
  3. 文件压缩与解压
  4. 读取环境变量
  5. 任务系统中的阻塞与资源耗尽