Zulip Chat Archive Stream: lean4 Topic: how to modify or revise the code to be run on Lean 4 Oliver (Jun 21 2024 at 02:12): (deleted) Last updated: May 02 2025 at 03:31 UTC