PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
November, 2022
Fold Not Only Reduces
May, 2019
Real Analysis Sequences in Haskell