lean icon indicating copy to clipboard operation
lean copied to clipboard
verified publisher icon leanprover-community

widget docs need to be updated for #501

Open bryangingechen opened this issue 5 years ago • 0 comments

See https://github.com/leanprover-community/lean/issues/501#issuecomment-753499459

bryangingechen avatar Jan 04 '21 12:01 bryangingechen