Academic Works

Theses

• Towards a Constructive and Predicative Integration Theory of Locally Compact Metric Spaces (Bachelor Thesis, 2022)
• Unification of Boolean Differential Rings Is Unitary (Bachelor Thesis, 2024)

Articles

• A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces (Journal of Logic and Analysis)

Other Projects

• LaTeX templates for various mathematical document types