Selected math proofs from my studies:
` Constructive pf for a perfect matching problem Solutions to Previous Analysis Quals