should we set the default language for codeblocks on zulip to coq? settings.png
coq
I thought I had done it already but apparently not. Fixed!
Last updated: Jun 10 2023 at 06:31 UTC