khealer's blog

By khealer, history, 22 months ago, In English

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

Full text and comments »

  • Vote: I like it
  • +5
  • Vote: I do not like it

By khealer, history, 22 months ago, In English

Hello,

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

thank you

Full text and comments »

  • Vote: I like it
  • +11
  • Vote: I do not like it