feat: manage nested inductive types in deriving
#4218
Triggered via pull request
September 20, 2024 13:48
leanprover-bot
leanprover-bot
labeled
#3160
Status
Skipped
Total duration
3s
Artifacts
–