Sergey Sinchuk
Sergey Sinchuk
Suppose that you are defining a function with an implicit parameter which also happens to be a class. ``` \instance DecWordMonoid (S : DecSet) : DecSet | E => List...
Here are 3 exceptions I got from routine working with plugin (I used Arend Messages View to view goals and error messages). The noticeable problem was that baloons which appear...