leanprover-community / mathlib

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

Zulip Chat Archive

Stream: new members

Topic: meaning of pr


vxctyxeha (Aug 23 2025 at 06:22):

can anyone tell me what does "pr" stand for?

Bryan Gin-ge Chen (Aug 23 2025 at 06:28):

It usually means a "GitHub pull request".


Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll