[Merged by Bors] - feat(Data/Seq): coinductive predicates for sequences#28874
Closed
vasnesterov wants to merge 49 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(Data/Seq): coinductive predicates for sequences#28874vasnesterov wants to merge 49 commits intoleanprover-community:masterfrom
vasnesterov wants to merge 49 commits intoleanprover-community:masterfrom
Commits
Commits on Dec 9, 2024
- committed
- committed
Commits on Dec 10, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 14, 2024
- committed
Commits on Dec 19, 2024
Commits on Dec 21, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 22, 2024
Commits on Dec 25, 2024
- committed
- committed
- committed
Commits on Jan 18, 2025
- committed
- committed
- committed
- committed
- committed
Commits on May 12, 2025
Commits on May 13, 2025
Commits on Aug 24, 2025
Commits on Aug 26, 2025
- committed
- committed
Commits on Aug 27, 2025
- committed
- committed
- committed
Commits on Aug 29, 2025
Commits on Sep 9, 2025
- committed
- committed
- committed
Commits on Sep 12, 2025
Commits on Sep 14, 2025
- committed