Notation wish #17845: add support for notations with recursive binders involving "let" and "match" #8707
Triggered via pull request
November 17, 2023 10:06
proux01
Status
Success
Total duration
36m 11s
Artifacts
–