mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore: adaptations for nightly-2024-03-27

Open kim-em opened this issue 1 year ago • 0 comments

kim-em avatar Mar 28 '24 05:03 kim-em