Zulip Chat Archive
Stream: PR reviews
Topic: !4#5032 Analysis.Analytic.Inverse
Jeremy Tan (Jun 29 2023 at 03:14):
This leaf-node PR is still waiting on a std4 PR to be merged: https://github.com/leanprover/std4/pull/155
Johan Commelin (Jun 29 2023 at 04:03):
cc @Mario Carneiro
Last updated: Dec 20 2023 at 11:08 UTC