├── P1 ├── P1_solution.v └── P1_template.v ├── P2 ├── P2_solution.v └── P2_template.v ├── P3 ├── P3_solution.v └── P3_template.v ├── P4 ├── P4_solution.v └── P4_template.v └── P5 ├── P5_solution.v └── P5_template.v /P1/P1_solution.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P1/P1_solution.v -------------------------------------------------------------------------------- /P1/P1_template.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P1/P1_template.v -------------------------------------------------------------------------------- /P2/P2_solution.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P2/P2_solution.v -------------------------------------------------------------------------------- /P2/P2_template.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P2/P2_template.v -------------------------------------------------------------------------------- /P3/P3_solution.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P3/P3_solution.v -------------------------------------------------------------------------------- /P3/P3_template.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P3/P3_template.v -------------------------------------------------------------------------------- /P4/P4_solution.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P4/P4_solution.v -------------------------------------------------------------------------------- /P4/P4_template.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P4/P4_template.v -------------------------------------------------------------------------------- /P5/P5_solution.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P5/P5_solution.v -------------------------------------------------------------------------------- /P5/P5_template.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-Math-Problems/Problems/HEAD/P5/P5_template.v --------------------------------------------------------------------------------