Zulip Chat Archive
Stream: lean4
Topic: Rewriting specific term
Notification Bot (Jul 11 2021 at 15:02):
This topic was moved by Bryan Gin-ge Chen to #new members > Rewriting specific term
Last updated: May 02 2025 at 03:31 UTC
This topic was moved by Bryan Gin-ge Chen to #new members > Rewriting specific term
Last updated: May 02 2025 at 03:31 UTC