New posts in Correctness

Correctness of Sakamoto's algorithm to find the day of week

Switch statement with returns -- code correctness

Counting trailing zeros of numbers resulted from factorial