4 ms·

Edit: Never mind, missed a word.

• adrianN 9y ago
  You can describe algorithms using normal English perfectly fine. You can then use normal English to prove the correctness of your claims. This is what almost all papers about algorithms from the theoretical CS community do.
  • wfunction 9y ago
    Oh shoot, I missed the word "code", that's why it didn't make sense to me! Sorry, removing my comment...