Marat Khabibullin

"Fill goal" works incorrectly in presence of ==<, >== and `qed

4

Invoke "Fill goal" on the following code: Expected result: Actual result: Note that `` `qed `` lost its `` ` ``. Also the last `{?}` is after the `qed`, not...

Confusing error message about language version on IDE startup

2

1. Install IntelliJ Community 2020.3.3 and Arend plugin. 2. Clone Arend tutorial project (https://github.com/arend-lang/tutorial-code) and open it in the IDE. When IDE starts, it shows 2 errors: ``` 10:22 PM...

We need to profile and fix this performance issue.