Ian
Ian
Issue #24. The API wasn't giving the full url for atcoder contests, which resulted in atcoder contests not opening. For example: /contests/arc109 instead of https://atcoder.jp/contests/arc109.
I think writing the proof without the unnecessary contradiction makes it a lot clearer and easier to read. _If any of the below doesn't apply to this Pull Request, mark...
Is there a way to have custom file names? I would like to have the files be named like "1537a.cpp" rather than "a.cpp".
#### Type of JetBrains IDE (IntelliJ, PyCharm, etc.) and version Clion #### Operating System MacOS #### TeXiFy IDEA version #### What I did (steps to reproduce) #### Minimal example to...