Ayush's Notesanime, proofs, PL, and systemshttps://ayushshukla.vercel.app