3 ms·
Here's people who are working on Lean's Mathlib discussing this https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Array.2EanyM.20is.20inconsist
by staunton 3y ago
Here's people who are working on Lean's Mathlib discussing this https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Array.2EanyM.20is.20inconsistent/near/396178821 https://leanprover.zulipchat.com/#narrow/stream/270676-lean4...