batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore: adaptations for nightly-2024-05-09

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

kim-em avatar May 09 '24 08:05 kim-em