SerTelnov / type-theory

Type-theory

Solution for type-theory university course.

1. Problems for pcms laboratory work.
2. Proof of theorems in Idris

• x k : 2 * k == x + x
• natural a,b : (a - b)^2 - (a + b)^2 = 0