lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard
verified publisher icon leanprover

draft: range migration test run

Open datokrat opened this issue 7 months ago • 0 comments

The branch on which I try migrating the old ranges to the new ones.

datokrat avatar Jun 17 '25 13:06 datokrat