batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore: update `make lint` to use `lake`

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

kim-em avatar May 10 '24 00:05 kim-em