feat: Define dependent version of Fin.foldl#1071
Merged
fgdorais merged 15 commits intoleanprover-community:mainfrom quangvdao:Fin.fold-depDec 4, 2024
+208-1
Commits
Commits on Dec 2, 2024
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
Commits on Dec 3, 2024
- committed
- committed
- committed
