Zulip Chat Archive

Stream: PR reviews

Topic: Ackermann function is computable #22457

Miyahara Kō (Mar 23 2025 at 01:49):

Review is already done.

Miyahara Kō (Mar 24 2025 at 03:25):

Someone maintainer please do the merge.

Miyahara Kō (Mar 25 2025 at 03:21):

https://github.com/leanprover-community/mathlib4/pull/22457

Aaron Liu (Mar 25 2025 at 05:19):

You can just type #22457 and zulip will automatically make it a link.

Miyahara Kō (Mar 25 2025 at 05:21):

Thank you.

Last updated: May 02 2025 at 03:31 UTC