Pinned Loading

1. LipoCons LipoCons Public

   Lean formalization of the Proposition 3 of the the paper Global optimization of Lipschitz functions, Malherbe C. and Vayatis N., 2017.

   Lean

2. GOB GOB Public

   GOB is a collection of global optimization algorithms implemented in C++ and linked with Python.

   C++ 1

3. Lean-LIPO Lean-LIPO Public

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

   Lean

4. pyGKLS pyGKLS Public

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

   C++

5. seminar_message_manager seminar_message_manager Public

   A Python manager for automatically generating and sending mails, Zulip, Discord or Mattermost messages to announce upcoming seminars, using user-tunable html and markdown templates.

   Python 2

6. Lean-Formalization Lean-Formalization Public

   Formalization of some mathematical results using Lean 4 and Mathlib.

   Lean