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