refactor: add MonadLift CoreM CommandElabM
#14126
Triggered via pull request
October 18, 2025 17:19
leanprover-community-bot
leanprover-community-bot
labeled
#10829
Status
Skipped
Total duration
1s
Artifacts
–