🃏
PhD Student in applied mathematics
-
Centre Borelli, ENS Paris-Saclay
- Gif-Sur-Yvette
- gaetanserre.fr
Highlights
- Pro
Block or Report
Block or report gaetanserre
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
SBS-Proofs
SBS-Proofs PublicLean 4 proofs associated with the paper "Stein Boltzmann Sampling" by G. Serré, A. Kalogeratos, and N. Vayatis.
Lean
-
Stochastic-Global-Optimization
Stochastic-Global-Optimization PublicImplementation on several global optimization algorithms.
Python
-
Lean-Formalization
Lean-Formalization PublicFormalization of some mathematical results using Lean 4 and Mathlib.
Lean
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.