Mathematics graduate student working in logic, model theory, and formalization.
This page is a simple overview of the main sections of the site.