feat: split Lean.Kernel.Environment from Lean.Environment#5145
Merged
Kha merged 1 commit intoleanprover:masterfrom Kha:kernel-envJan 18, 2025
+776-593
Lean.Kernel.Environment from Lean.Environment#5145