Zulip Chat Archive
Stream: general
Topic: Logo
Yaël Dillies (Feb 04 2022 at 14:32):
VSCode now lets extensions define icons for languages. Finally time for a proper .lean logo? :smiling_face:
Last updated: Dec 20 2023 at 11:08 UTC
VSCode now lets extensions define icons for languages. Finally time for a proper .lean logo? :smiling_face:
Last updated: Dec 20 2023 at 11:08 UTC