Zulip Chat Archive

Stream: lean4

Topic: A proof by induction

Notification Bot (Mar 01 2025 at 01:05):

This topic was moved to #new members > Simplification by Kim Morrison.

Last updated: May 02 2025 at 03:31 UTC