https://coq-math-problems.github.io/Problem1/ 2017-05-10T00:00:00+00:00 https://coq-math-problems.github.io/Problem1-Sol/ 2017-05-13T00:00:00+00:00 https://coq-math-problems.github.io/Problem2/ 2017-05-17T00:00:00+00:00 https://coq-math-problems.github.io/Problem2-Sol/ 2017-05-19T00:00:00+00:00 https://coq-math-problems.github.io/Problem3/ 2017-05-24T00:00:00+00:00 https://coq-math-problems.github.io/Problem3-Sol/ 2017-05-26T00:00:00+00:00 https://coq-math-problems.github.io/Problem4/ 2017-05-31T00:00:00+00:00 https://coq-math-problems.github.io/Problem4-Sol/ 2017-06-02T00:00:00+00:00 https://coq-math-problems.github.io/Problem5/ 2017-06-14T00:00:00+00:00 https://coq-math-problems.github.io/Problem5-Sol/ 2017-06-16T00:00:00+00:00 https://coq-math-problems.github.io/404/ https://coq-math-problems.github.io/about/ https://coq-math-problems.github.io/