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: Feb 05 2023 at 07:03 UTC