https://lig-membres.imag.fr/mechenim/
This is an unofficial reimagining of the Archive of Formal Proofs
The Hahn and Jordan Decomposition Theoremsby Marie Cousin, Mnacho Echenim and Hervé Guiol
Quantum projective measurements and the CHSH inequalityby Mnacho Echenim
Pricing in discrete financial modelsby Mnacho Echenim