PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
May, 2022
Document Formats and Plaintext
March, 2020
Sphinx & MathJax
November, 2019
Man Pages with Pandoc
September, 2019
Live Documentation
