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: Dec 20 2023 at 11:08 UTC
This topic was moved by Bryan Gin-ge Chen to #new members > Rewriting specific term
Last updated: Dec 20 2023 at 11:08 UTC