feat: optimized simp routine for let telescopes#8968
Merged
kmill merged 6 commits intoleanprover:masterfrom Jun 27, 2025
Merged
feat: optimized simp routine for let telescopes#8968kmill merged 6 commits intoleanprover:masterfrom
kmill merged 6 commits intoleanprover:masterfrom
Commits
Commits on Jun 26, 2025
Commits on Jun 27, 2025
- committed
- committed