Zulip Chat Archive
Stream: PR reviews
Topic: leanprover-community.github.io#391 calc mode for Lean 4
Miyahara Kō (Jun 01 2024 at 11:38):
Can someone review this?
I was unaware of this PR and wasted time for the duplicated work. :smiling_face_with_tear:
Yaël Dillies (Jun 01 2024 at 11:44):
Reviewing
Yaël Dillies (Jun 01 2024 at 11:50):
Done
Last updated: May 02 2025 at 03:31 UTC