Skip to content
Back to pull request #18896

use lean4 pr instead of date in adaptation notes #150823

Sign in to view logs

use lean4 pr instead of date in adaptation notes

use lean4 pr instead of date in adaptation notes #150823

Cancel Previous Runs (CI)

Cancel Previous Runs (CI)
succeeded Nov 12, 2024 in 3s