perf: globally cache intermediate type class results#4152
Closed
JovanGerb wants to merge 101 commits intoleanprover:masterfrom JovanGerb:synthInstanceCaching
+149-496
Commits
Commits on May 13, 2024
- committed
- committed
- committed
Merge branch 'synthInstanceCaching' of https://github.com/JovanGerb/lean4 into synthInstanceCaching
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 16, 2024
Commits on May 17, 2024
- committed
- committed
Commits on May 21, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 22, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'synthInstanceCaching' of https://github.com/JovanGerb/lean4 into synthInstanceCaching
committed
Commits on May 23, 2024
- committed