Skip to content

feat: manage nested inductive types in deriving #4583

feat: manage nested inductive types in deriving

feat: manage nested inductive types in deriving #4583

check-lean-files

succeeded Sep 14, 2024 in 28s