feat: accurate binder names in signatures (like in output of #check)
#4813
Triggered via pull request
October 28, 2024 02:10
leanprover-community-bot
leanprover-community-bot
labeled
#5827
Status
Skipped
Total duration
1s
Artifacts
–