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