These are 10 of the most utilized data structures and algorithm problems with solutions that minimize iterations and buffer storage space in order to optimize space and time complexity. Please remove the documentation tags represented by ' ' ' which preceed and succeed the desired function to run and test the function on a Python 3.6.1 interpreter.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

This repository contains my animation and diagrams on the equation a^n + b^n = c^n.

Been working on my very first Number Theory Theorem. These programs have been used by me to create practical proofs for my conjecture. Do read the readme file. for further details.