PhD Student in Mathematical Physics
Under construction. Meanwhile, please refer to the Publications page for information on my formalizations.
