Skip to content
Back to pull request #18896

use lean4 pr instead of date in adaptation notes #141611

Sign in to view logs

use lean4 pr instead of date in adaptation notes

use lean4 pr instead of date in adaptation notes #141611

Cancel Previous Runs (CI)

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