doc-gen icon indicating copy to clipboard operation
doc-gen copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

locales

Open gebner opened this issue 5 years ago • 0 comments

gebner avatar Aug 04 '20 07:08 gebner