projects

2026

• lean.golf
• ten-proofs (and zeta-23-lean), faster
• Snipsmith
• Math Inc Autoformalization Projects

2025

• Reese Basses and the AM-GM Inequality

2024

• Dotfiles
• Degrees of Sums of Algebraic Numbers in an Abelian Extension

2022

• Sigma: Custom Programming Language

2021

• Digital Signal Processing and VST Creation
• Hyperfields

2017

• Polynomials that behave like the Riemann Zeta-Function