SBS Lean proofs

Lean proofs associated to the paper "Stein Boltzmann Sampling: A Variational Approach for Global Optimization" by Gaëtan Serré, and Argyris Kalogeratos and Nicolas Vayatis. On this website, one can find the html-rendered Lean proofs mentioned in the paper. The Lean files are available on GitHub.