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

Check in CI that there's no `import Lean` checked in

Open david-christiansen opened this issue 1 year ago • 0 comments

david-christiansen avatar Apr 26 '24 09:04 david-christiansen