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: Dec 20 2025 at 21:32 UTC