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: May 02 2025 at 03:31 UTC