Lean 4（元）编程 Cookbook

其他文件系统操作🔗

贡献者：Anirudh Gupta, subfish-zhou

以下是一些处理文件路径时可能有用的文件系统操作。

  1. 如何拼接文件路径
  2. 如何获取当前工作目录
  3. 检查路径的元数据
  4. 检查路径是绝对路径还是相对路径
  5. 规范化文件路径