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: Oct 13 2024 at 01:02 UTC