Zulip Chat Archive
Stream: PR reviews
Topic: leanprover-community.github.io#480, #482,#483 Lean 4 update
Miyahara Kō (Jun 03 2024 at 07:28):
Conv mode, Simplifier, Well-founded Recursion are updated for Lean 4!
Miyahara Kō (Jul 02 2024 at 20:33):
Who can review these?
Yaël Dillies (Jul 03 2024 at 07:22):
We (the reviewers) are currently deciding when to meet to discuss these PRs
Miyahara Kō (Jul 03 2024 at 07:24):
@Yaël Dillies Thank you!
Last updated: May 02 2025 at 03:31 UTC