Zulip Chat Archive
Stream: ItaLean 2025
Topic: Projects: Dual of Lp
Pietro Monticone (Dec 09 2025 at 16:33):
This thread is dedicated to the Dual of Lp project:
- Repository: https://github.com/pitmonticone/DualOfLp
- Informal & Formal Manager: @Filippo A. E. Nuccio
Last updated: Dec 20 2025 at 21:32 UTC