Hello,

I have an error with my rust code https://mirror.codeforces.com/contest/231/submission/196189763.

I understand that I can't read the input but I don't understand the reason.

Can you help me? thanks

Hello,

Have any of you tried the proof assistants (lean, coq etc)? Is it applicable to the problems of the site?

thank you