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