leanprover-community / mathlib

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

Zulip Chat Archive

Stream: new members

Topic: Boyang Hu


Boyang Hu (Jan 25 2026 at 03:57):

Hi everyone! I'm Boyang Hu from China. I'm a student interested in algebra and number theory. I've just submitted my first PR to mathlib about the Focal Subgroup Theorem (#34380), and I'm excited to contribute!

Kevin Buzzard (Jan 25 2026 at 09:17):

You should link to the PR number like this #12345


Last updated: Feb 28 2026 at 14:05 UTC

Theme Simple by wildflame © 2016 Powered by jekyll