feat: structure auto-completion & partial InfoTrees #5242
Triggered via pull request
November 18, 2024 10:47
leanprover-community-bot
leanprover-community-bot
labeled
#5835
Status
Skipped
Total duration
2s
Artifacts
–