Zulip Chat Archive
Stream: ItaLean 2025
Topic: Projects: Brownian Motion
Pietro Monticone (Dec 09 2025 at 16:10):
This thread is dedicated to the Brownian Motion project:
- Repository: https://github.com/RemyDegenne/brownian-motion
- Informal & Formal Manager: @Rémy Degenne
Last updated: Feb 28 2026 at 14:05 UTC