Zulip Chat Archive
Stream: lean4
Topic: Find some theorem in lean.
Notification Bot (Jan 24 2024 at 04:27):
This topic was moved to #Is there code for X? > Find some theorem in lean. by Mario Carneiro.
Last updated: May 02 2025 at 03:31 UTC
This topic was moved to #Is there code for X? > Find some theorem in lean. by Mario Carneiro.
Last updated: May 02 2025 at 03:31 UTC