Consolidating mathematical research and software development under one roof.
Published papers, formal verification in Lean, and work currently in progress.
Projects in the build pipeline, with source available where it is public.