Pinned Loading

1. SBS-Proofs SBS-Proofs Public

   Lean 4 proofs associated with the paper "Stein Boltzmann Sampling" by G. Serré, A. Kalogeratos, and N. Vayatis.

   Lean

2. Lean-LIPO Lean-LIPO Public

   Lean formalization of the proof on the upper bound of the probability for LIPO to reject a candidate.

   Lean

3. Stochastic-Global-Optimization Stochastic-Global-Optimization Public

   Implementation on several global optimization algorithms.

   Python

4. Lean-Formalization Lean-Formalization Public

   Formalization of some mathematical results using Lean 4 and Mathlib.

   Lean

5. LeanCal LeanCal Public

   This is a simple calendar manager written in Lean that sends notification using `notify-send` whenever an event is due. Compatible with Waybar.

   Lean 1 1

6. pyGKLS pyGKLS Public

   pyGKLS is a Python wrapper for the GKLS generator of global optimization test functions (Giavano et al., 2003).

   C++