Zulip Chat Archive

Stream: ItaLean 2025

Topic: Projects: Optimal Transport

Lorenzo Luccioli (Dec 09 2025 at 16:49):

This thread is dedicated to the Optimal Transport project:

Repository: https://github.com/Tillrzhtgrfho/Lean4OptimalTransport
Informal Manager: @Till Wehling
Formal Manager: @Rémy Degenne

Last updated: Dec 20 2025 at 21:32 UTC