Commit 2024-09-04 04:03 5cc27785
View on Github →chore: remove adaptation notes about aesop (#16461) This removes some adaptation notes and restores original proofs and tests, now that the regression in Aesop has been fixed.
chore: remove adaptation notes about aesop (#16461) This removes some adaptation notes and restores original proofs and tests, now that the regression in Aesop has been fixed.