LaTeX sources for my undergraduate thesis
An unusual construction of the real numbers using Isabelle/HOL
A Formalization of Martingales using Isabelle/HOL
Formalization of the Millennium Problems in Lean4.
