coq-proofs

This repository consists of Proofs of Theorems from various areas of Mathematics like Logic, Calculus, Algebra, and Geometry. As for the first commit, these are the following proofs:

1. Basic Predicate Calculus Properties
2. Pierce's Lemma
3. Gauss's Theorem
4. Euclid's First Theorem
5. Fermat's Last Theorem*

_{*This has a lot of bugs(assumptions) in it, and quite frankly is incomplete with Proof given as a through proving 4/7 theorems without explicitly proving TH2, TH3 and TH4 as they are more theoretical. The other three theorems have something to do with Ellipical Functions which are too complex to comprehend so this is a very incomplete proof but a very nice starting point if someone wants to disprove Euler's Conjecture, (will add this proof if time permits) Proof for n=4 Link}