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

fix typo in AppInfo description

Open hrmacbeth opened this issue 3 years ago • 0 comments

This doesn't build, but as far as I can tell it's unrelated to the typo fix I made.

hrmacbeth avatar Oct 28 '22 15:10 hrmacbeth