Zulip Chat Archive

Stream: Computer algebra

Topic: channel events

Notification Bot (Feb 03 2025 at 23:42):

Web-public channel created by Kim Morrison. Description:

Implementing CAS functionality in Lean

Last updated: Feb 28 2026 at 14:05 UTC