feat: improved export command, namespace aliases
#5825
Triggered via pull request
December 15, 2024 22:40
leanprover-community-bot
leanprover-community-bot
labeled
#6393
Status
Skipped
Total duration
2s
Artifacts
–