Zulip Chat Archive
Stream: toric
Topic: channel events
Notification Bot (Feb 25 2025 at 06:49):
Web-public channel created by Johan Commelin. Description:
Formalisation of toric varieties <https://github.com/yaeldillies/toric>
Notification Bot (Mar 17 2025 at 09:31):
Johan Commelin changed the description for this channel.
- Old description:
Formalisation of toric varieties <https://github.com/yaeldillies/toric>
- New description:
Formalisation of toric varieties <https://yaeldillies.github.io/Toric>
Last updated: May 02 2025 at 03:31 UTC