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: Dec 20 2025 at 21:32 UTC