Zulip Chat Archive

Stream: mathlib4

Topic: Need help with implementing reference


Colin Jones ⚛️ (Sep 17 2024 at 16:13):

I have a pull request that hasn't been reviewed in a while, and I need help adding a reference in Mathlib. I would like some guidance. If you can please go to pull request #14269 titled "# feat(NumberTheory/FactorisationProperties): abundant, pseudoperfect, deficient, and weird numbers" to help me out.

Yaël Dillies (Sep 17 2024 at 16:24):

The right place to ask for reviews is #PR reviews, or github by requesting reviews from who you think might be interested

Ruben Van de Velde (Sep 17 2024 at 16:49):

Please make the change to the bib file. It's much easier for someone else to touch up than to fill it in from the citation in the comment


Last updated: May 02 2025 at 03:31 UTC