learning to type faster and more formally and the basics of proofs to strengthen my data structures background

Stay tuned for more updates!