leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: triage

Topic: issue !4#26229: `NumberTheory.Multiplicity` and `NumberTh...


Random Issue Bot (Sep 28 2025 at 14:10):

Today I chose issue #26229 for discussion!

NumberTheory.Multiplicity and NumberTheory.Transcendental.Liouville.Residual build fail
Created by @Tristan Stérin (@tcosmo) on 2025-06-20
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?


Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll