feat: split Lean.Kernel.Environment from Lean.Environment
#6486
Triggered via pull request
January 18, 2025 19:30
leanprover-community-bot
leanprover-community-bot
labeled
#5145
Status
Skipped
Total duration
2s
Artifacts
–