Systems Lean：基于 Lean 4 线性类型与 QTT 的无运行时 C 系统语言项目

Systems Lean 是一个基于 Lean 4、引入线性/仿射所有权与 QTT 多重度（0/1/omega）的系统编程语言项目，通过 Idris 2 与 Lean 4 的中间桥接实现，配套编译器 Slake 可生成无运行时、无 GC 的独立 C 代码。