Zulip Chat Archive
Stream: lean4
Topic: Why is using Aesop considered a correct or complete proof in
Notification Bot (Dec 03 2025 at 09:51):
This topic was moved to #new members > Why is using Aesop considered a correct or complete proof in by Patrick Massot.
Last updated: Dec 20 2025 at 21:32 UTC